SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ># |L\ ] Rewriting_Z:threads=2elapsed=31.562cpu=53.896gc=2.504factor=1.717zXZִF! T5]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IЊo$5,B0E>xu>ņ`۔5!ޯ@^.Je5urc&%FlLv+-hA5 K"v*fx:v ಈP<< b9Q%ue+B&6A˹FAO%1`N|]d}rUXdGU1̮і4(D'tގޔVseg4 c=z@0SE8FߺY~i{%T0X~v7S^t]ϵf d@Q?jI#uRC{ 9V؉f00*u q]4 ]ļz&N=ӎ\$}pm7lRwb^^5UA6Yblˈ cPϏ'⩥v.]$I-fe߯OS7Z_e^Y㈽ʅ2^Xx1vlrk,2gYZ7zXZִF! ^]ŗXiɟCrhi^IxDY?Av|3 )u L4?"[W"r_bMuT rnQ0c)y\)Ҥ$2#%˖Q` ۠J6Gu)S86$flR?0^~LF5EXD~LH"$LsJZrufgc"R1 k)&?(o_HzA{iNҖops|MRj+C~VO` Ã8o7~>O%3fԲCQ [>Ugd⫐W k!诃6ˎb qc/+P \wg]U`7s*Kmco{hd8'"y_&VeaP90bAڻ>'՜T@pcIZWr+n&}1:,t]oε3~s Jȹj^뫗:-UDs\s0^Y0V܇4VTMFD#PBFf<( ))Ra8 ,SیKjSb~.xnvG9`:W@yJBcWϕ4]d( # G5'XtYMŨ(^{"([KWMVl3"K!q7p77kU1?A09I[Fx;< p<P6j7^ LkkPa=~}-vNQjnfV(mM^$!oQ1 Iv=vhX"h1\b%9`c+ `0Z/y`c%`eUm\84/]Lc +%&?ϭDt1ʴ[Gu )ZąٝN)}I GIf s\XmgR`k6haL@~8{t$N:^@\mZ0}TZk_Ջe!vf )$2{Z<8:,bf~j8CWgtCW4$x&_˜fT\!.b