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 \\! |d ] IOA:threads=6elapsed=7.335cpu=32.984gc=1.564factor=4.507zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K B;jų/9Y*]|@iv_t\

`L_dNfS˻ɣƚ:6TV_Owx|Q$w TC[ y WK$]gh j{+Yvrȼm),Uz㏚c6WDltWK"=ņ>|&wV#M#D܏9T_^nyVjx`1Ud򌪍J}DE5? sPcG$׫)8fZe:M}Y+,b{~m٧hwO5ծ1)G/Q[%󒹉f2j }~cl&ˮt5gf.^`+٦$Td:_scXų?n.edgYZ7zXZִF! `x]ŗXiɟdN'LvH۹Vf+y^Mdyfe[Y +zv=JZs`3O3VF/QoP_])%uɹlbup\na5Eͫbй%d (Kbѳ [,6 Z%{U&ϕQ.HR1v|wwOz?z.?(M?fą1@6T _䐦 YVagYZ7zXZִF! )i]ŗXi%Jւ$c4>؏ߢ Rά4Е6p5 YPC9DRrU[!Jf)-UGy:#hӫ~d VA*c["tfsE|l$0 xa_n䙡!px7@<8RRxcű@yѲ%LKL,k0'݌NZ.] ,HWP !EX1/șp{n {ކn:"y0HR[NtыLnRy،b'E(fcmyJ;QvS‡o5{n[T1JCS񝕙z󟳾)]["`'T8Lݳzw\RR~Oq;YFE@zlP1Tư1چE2Bz>0E6+_뻷 PD(:ͻ.%?#fq(gYc%,D:OXꀐYVn[0 5X&HY&<7=WY P a()l(0YpWu7O)s3̀u+ÿ{crKJdPIႮ<.,sj'qaw{(٘;<+$)i`-BlK%')D3V SeE9d`uc8l%=YA]Grfc3/vJNbkEs_-ۣŖqaak( ,вE^aF1=)*-Ǎ"x\̵7Nsyn238*wpBϼ;󊌤?)DJIYj*<-Ϯ!e(RːW}4>jP5 {x*k4艓 dṃ9>(q| rlΤmwY8u˯%2XZ'Omh^00&_guhiȓ0Y<+r\o毊`vL &*٠Q]h^޵?g I S佱gYZc4cd302a8baadda818dd6d54ed35d284f959939e2a442dabf4b3c56f5ef63570355cf4d112862e5d c838443c8c2354d6d1cdbcfd20c3d57dfd9fd4f7 43153f544fc1d3aa24ce4c323c335d7ce3192196  IOA