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 BB; T4l ]/ AVL-Trees:threads=4elapsed=12.853cpu=48.340gc=1.368factor=3.767zXZִF! #]ŗXf[&(tw`)F~{Q$؄F;snza`6jYjOT ?WI2Vz_԰:<=Ώgp tUeu9,XD`}*C~B=ԡCćiGwrj#QaZx-]ߏ9.$ϭl|hRҍ¬cRȼ啋v&UB;Ke )81TL.(:.us.Y#K-3͔w7/=$;B1Vg/H:P Ϩ5W@*b%\(4=lBqZ'45T%މ 0ُ/'$DgYZ7zXZִF! S]ŗXiɟy)j sC: x䛖 G|Jv-n;F'XQBO͡g"Po_*;Axr doKgYZ7zXZִF! \?]ŗXi%L xFsdž_`{{~>7XcۊTj8ܮauAS$ h,ׇ -ЋF\GٌtɓQu ʎ I`%7E&-;恴^ >W,`dNiM<)-M4x L>tGD"BY"Zs);-  J,o څ󺽮QƈlHH2'i4;p9qtO!M  Ww7CGo3QG,Qe^!O&vyIqolz nU<x>a__3 1Uډ < y*na̺lID%٬ߩOwTU)G N%eZHpoj7iG}= ~.cPhpdԲ<|WDٙ? ZnH&jV6۪Hswd-he,bHJYVC &Ag!@l"Royjš/!Ϡ$:P(Hl!~DM 5G>l6sīo̗=C mD/kb [7M W+;uzڇp B^+4W8ꠙ7*^/Pd r3gېIx&qֿH X T~$$Hrc8X?v=-T_<-F.r0寣1)#x#4n71U.NS Ie@ogh (Co3 tқkň{^&-(ܥl?X/rשGſK0vY)N]-\@h)',tʩ^}2=_Hw*#2B.'i[᥎ %W :)_ 8rmQG&C]h{[ 8a3CƖ/]XE6yKf% ?A36z-IMݮs ģdAzG,TZqgEC25Ns~%*f\k=VnH5j- !.2+!Mn$Ә 8y nwQ- 6ǙxA Y "Q) tuOgSV@mEu,ƒv2QT֦FCj !;2HC`YHFYne.~cY/F땐 dw: 7pUrhncNV1 1}rh-)j1vٱ-QZ"se(bI.JSLc?ga7UvlL@ G-6|!*-ý)i3mMyI|