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 `? dd ] Program-Conflict-Analysis:threads=4elapsed=16.121cpu=57.944gc=1.704factor=3.597zXZִF! !{]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4KauxM@?fLP[~ ﬷ K<չn:Lh V ݿIcԋ tF0'#Ruȱ-s7N:ZX?A`}|d?mU;p6"9Jn hܽ:_&@4*Yd)P+_m*ͨFk*Ҁ L I EnCU|8y4E\ T oX ;G VRv*bCqr'%*2mcxh3e+!G{E0ʋC+Y<$g>9n)yҒHu ek4G31Jx5rՁlSh Q>y4z aG[J.(&Ιmp5Ϫp64v9AS:eMH&Aw6yO5s&y bOUQh&¡n +EO0{Q'g5"K{H)i]f)Ԁ$ld$UMSFlCygYZ7zXZִF! ,]ŗXiɟ˕A;[] VmTi{RM9%L̃ ҕd=?zbݒ44\G5UuniX゚|s?^uIo䇖VRDpL=)wې#{fwF fo&ތ XB_ 0ryP*l-->Y]ۮ/] ]rϱ+4Oz u4ؕ@+vWW"dsLGʒ<ǻ:JD.V?gYZ7zXZִF! z]ŗXi%ES3HfLBb4jwv+2Cu#Q#ϲJ'3D׹LEyzgdkf3"9c'/>cTB3p(hG7# o}Ћ̳Pc?cM%Ta\<،;EqD=6t2‘pDvZ $mi},_5er?~"d1}0q ɕ7*4џe$c$ }}g o؄ƘrP_9~TC=*4 x+ EM뇃saZ ~}2G I@tXfӠX^IE=|U8K\Y`;[bnCc$;Zq>5>⽑DyCLZ+ |ۊ0͂Q-WJ uu 6f, D1I~`nG @ב/GB~3Tf) zDhssԨ`.[Kk$]"YRŠkM0^^G-#9&Ut4N^ Z. j(ƙrĢ-ar◁=x3,:nc~:wxov%O%5h߼OW7- RV*8mCɜ\ x'd5̮%nŅL!ٶ_ĢΟ h9Sճ)DS3rX1IS@—zo\,:#OmSLC2onNXxMu^W)*}7B-ӣ=o@^sg^ O> rslFfޜiL.*IFxw)X>"?j֖yaڬS/8 l1/<78 Ru-̱BJ31O#>j(JbI1a2N$7V"6‹ n`l'Le8Pk51+s2Er=OZ;w%=u~CRe:$aɺxM;\?l8MJ`砩N lN:{@'-">ZƃW.:'U=ptBh(T⯻E 5}~4+4tΫk!0#Ï7O Fsf?jioK'Mc}}`ͭ(z/IO$r`NhBCkx#]UϽNW^"uݰׅaÑ́X=/REhScViAe4NdFbAeD Bj7M P%񢊎kNq{M@~KĄ5.=F/NCLZ%/"`OU FԳ^Gn+H/Aŵc7^uc)5 bzanLq߈/kی+$@`:':Y\iA[59n`Y36Öyծ*X5, pՠ"+У72|pfZqdu+`DGĭ§]>,& /{$=g]8s)C &)8kF QUg\A|Ȼ׾ YQ hL1\%v`kݳ3o gT(Ad̈+ӁUW]jjAa5Řr