SQLite format 3@ .;  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 cc l4 ]/ Isar_Ref:threads=4elapsed=16.133cpu=38.356gc=1.884factor=2.387zXZִF! (]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V-pf97 ϸ_Va&⩐ un"ln^of'JM$x-?C+PH]U`߭ٲ{3(Ww4*A0zTr"4y Qm`3ؼfp+$7(ܝJb!&ErtAܳ#SHw{I3i^r-xE3?oPjґttHY)pBǜ@+e"=_^cjgwm1iPW/ΌQbz@JS+P~loP:A!=v嗢ͼw lՠ)9 $ei^m3Rw9,.6t(j쒬9-VGy_JUlV: Q)G?LuRյJ5yaleeqK7+!t`IH#E-SrC{10U"2/s-r\mbqhodRkW!Lmx\v)pΒ\.oo_ )?@@IV%1gOPBXFھL5Y>Wu{B5":Tj7>c=Nk9n%&6醬gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLF H2~ڤ_ڽzǾ2:I[/QG>4٩?p%FS d WYQ33p:B)SIHfc׿_ 8^5-rR%ι[);,3Zysɒ :fZqzM ̐& 4 v0>??AB{B?# S(ɕ'Kt:pwL\;E:Lw{ByJ4HxZ;r$id$SWc-1\ $^Dk$bXlgy$gJ^)P90SMҽ+1 @jInd%8x9`~+2#?"(:|ce YṮYX#^ L<('IG3=#w1kŏۤ?^7fJєNh_[rF&0#K/*N{_&.g B'&>iG_ަpLK/j~nmpNWgPݖK iDzג>{Bei 4 d: x A?W&n4&6ڝ/۴ϊ,#kx.- *=^U?U[܎<{zv<`$T r  yDK zQTV@i(⪑M hDf#[ Pid-u] ýXg N lRQ™ >7 Y0\rri ۸$gYZbeb65f488fa89e0f5c277ea0c8827b94b2ff4959d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20   Isar_Ref