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 )l\< ] HOL-Unix:threads=4elapsed=5.218cpu=9.720gc=0.484factor=1.867zXZִF! ]ŗXf1-q恈>HAHIq"”a;E HvGl Jo ګk92Z4MٺWoJ+ =vgW]SɲjxBm]Z=dƴk7r %z wW{]=+q׎ ׸|N<}$kZVٻ q;?42YA,&D-k8om24gYZ7zXZִF! e]ŗXiɟ1Ivx*`(rHQ ɅeXa?I\̼x\FMQ~Y$r0#8X <9%' & ׅ8tȀOyR=gYZ7zXZִF! 4F]ŗXi%IJ_[Y1|Ӣ_Ĉџ+0%FzGHu-#uYgp?ؑ-fTab(oVaxIA#C T|~[˸}2H\) q(N^mN%^gE@noq7Ȁt[{h4ICWHTVNLg!Y^wJaD0q)iܘnqfп(oO!p zvMaRDwE|Yߍ,z]$[T~҄sre짜9 Qb6{rD>k{|Hf K@x8b0K%fIDv oQ,Oy46ؤT}4Whc/W#W/!xWLP*-F+ۓT r+ŽH6 5xN!0le-p OMPbBg sSxϊ9=6u2w}E-\qb%'>~jaX~:o!loW1'Z4@DgRɂ%sr:"$=G 1أǶy"S`9q7U=PirKB8u⧤.qM `y.yE6GzhcX bb0Qa%㰵+7R@+v, :|.aYD>5$9Anb7tb=k$ 227cA2ߐN#D҅$9S1]%[ :0fpЍ<Sw>ս>= 6;PѓTs<‘rc+OF2-؂u'@6Hn(w1VזS {I#ixo 4*Dq0f_ {?#%l*LC9i#Lɫʺ[}=LgiQ,,@!Sqq3Jo/txvh%±gYZ7ac825458e3cbd9c7609213465d0c7d52a870baa5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0   HOL-Unix