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 | t$d ]/ OpSets:threads=4elapsed=14.956cpu=47.420gc=0.912factor=3.177zXZִF! _]ŗXf[&Zyq1/F˹1`2W>K`J}9w ٧z`3E:OBS&gujՕvcp jkNr"d*|Z L$9M!HCR+}i8s&Bi`#z Ә qwyITX7O"j‰j[J4G`:9C:aZɪtMҷD OWQw0uDn[M;^KС쵹EDR4X#wszkW+ u]Ӱ%^SCZs翬#[F_oV¬>hHwVdD4Kh 5QMrQa.U{v` O)kһ;&,e.jHє1MW;LNݎ(*lQ6 pOxVj)΢8>&#UOȜK}zJ4htq# me^sbO3vcqV3,«q_DPD_yӀr(&o7r; ԵM5^<ƥ9R7ݽSZ95Q%m*\chfl3ghV&zzgڅ'J/1lnZJfت_IAo~om1\6 EX#^CYV.Pm'gYZ7zXZִF! S]ŗXiɟ@*ajmSg)?PWVÉAd*t@/$TJ$1r EdO1 ]qP ( j#&4q#86(QOJ?'|AAj`WSuNȡgYZ7zXZִF! o,]ŗXi%Bmз]z3685m]KuMr꫎VxO]f 5Blm9154+ywR1'x6{3cA3TL_Ⱥ NG`l̲;mиA^VB+y^L3 a-,fY/Wٽm]YM|\=D :)Q{kHG3$a IFC|؝΄:@vGr GH蹘[QUמܟgk~MD)_w#*>7Rρr/!fDo}FP߆Z9 ,90HLebY-3e$nbń:忞X?(|^vDVHMM:^x^w0ƝԠCQ)šn_ ~ŖCZǴQ{D~!E:4"kD`kf{;q#q[ J!m'/(׼̯EPwV=`=:}י 8`t&n;x0t$ѦHwsIPeanaoT}6oCkʻ=I/HGC,3T9AiᖷXՐ\+K]qtgk.kp ޵]sYȣ S%:Ï}*E- &rCNγ$;J.&ue`PK m$W3F\F;F"?=?#WLE.n",;)s7?[6?+72}E[kis}y|5u왥!':= jT^W+3ܹ-g6Pt.6M Wb&k:Zko2Q]L +'GJ~o=x{:".* !3P;'>T8V*%TX`ܻijF~|`xِ4>lIT7ExVHe@Aj$CwJHq\#ܷܧvЋ8HwoKL%LVq;0ӗ%aXZ0V{l!^6U8OY4j,F3+(*kޱkBx+H|A)t ^N2mks,_ڤW5