SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 0 D ]/ Huffman:threads=4elapsed=7.592cpu=19.692gc=0.332factor=2.597zXZִF! ]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafm4rܲ".d@ /lZ JFEk=΀w]F$_8 6򼍂=aG~1j,`w;. W2 p 8l}wyߓ#?P"H{?4}aL  ׋ҁUzl-9$F~%N!+j-`>y?/0P֫s*32At]5_Ѯ ljbhbl4 "t&+jf,ncJ4lH6*?Uz sZ_jצkoy)$qRglJ%M@[}gYZ7zXZִF! C>]ŗXiɟt0sϘ ECS>W]:l==x҅[B!SU)xZD|c}YZ7zXZִF! ?]ŗXi%B8_vP+i|oMhzdꏏnXtҭ~eQBd@fBii&#jov?xP=|Inh . Pyԗ,+˔t@COz:njgoTy@PfX "kD<:4pPc=ԸfzL6X:ōtq_hty=/#),h #~:(:Ro3%;RB4MN]]Ϙ A%X}v|nDHRvxqPvG\. _]6Ů:BP]גS]. J~fdߨ:yVԯ|[QCܘEnfu5 ]C"=!Yy\\WQI|Y۲ijJ^[03s/7!",J%|{DFI̒u=x(wО(^F53C^.sM"rkMsXY7VG 5@:_x.-hGp렾uL rTRH![*\<F$rp7rgZ[&Ҧ=9/Q !`T0q\:0pn9bzY:5h, :j DV6!Ťn80pq4q六fr#8R6#3N/C2uDŽ(K0z]a r)f?o$RM gYZ257c8a5f061a0f024162cbebde6a2dfa3e153482ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe   Huffman