SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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# <  ]% VectorSpace:threads=2elapsed=43.976cpu=75.248gc=6.628factor=1.717zXZִF! +m]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9n7D7ehf8%HϭԽ2(1BT98%ksA;`;Iz8,qKbs Eܱ7v )$fț )%ՖgV ڟ;I0XnzRm 6pIU!R$I-voT <9AH<_~CۜɸkU/h l>NRLC4v]TzjVBב{ # VectorSpace  yC KFv'^.@R} kY'苯FK<*DV[-r3zhXJم}WSK+pvrco"D+s:ܟPYyy ߩZpH5 Q9[`!sN4?zqAH6&|țZ88S`k$MN P?ۓʖ [u! ˃ܼ֮9ag}ю3 ch3/N9?'*&:FvͰu>+GDNh9\TlsTlsBCaxOӤz bs2 ?~-!\| (5B<7KO{qai4? } lfͻ,5ϑz*/p. j|}&&Ӟsa-W5I|IW%s 33U.M|)X(S+Oէ}8}& [MKG_1uMloRdՎH_|ڂ[E]_?ϼ)$ .7Dn8 V;"|gYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({Fq6hS{zX9 dW, pj4"2QcaDw>0q;A#aD5j?̙hH[xK|֍fKNUlGlV)iIm ؏A`Q/+OR5\^gYZ7zXZִF! ڮ ]ŗXi%>g[ˆTn)>E3bjrʩG<,)@ko>[1av: J%?Egsxiy.Uyٺ_u4u;^`?}? gq_V2Tjq;!z{1N/b|]C5_>el8ȩfdv=D0X8hKn:M lDJ{+?HF=idpqf'rM6#^%DF'sY#|*5W!#eؔR'gb}xl.4рߥqE$ F8/gC^ n IKjcJ7J꤭JT$l̼R-6AV:80~o*5~fCSoM;Fϸ:÷v?|PEUYAz܅m~m~Okٱ$V'D83#{`ױ?8N>RTvjCF2e-"? ws;i ;>UWVg,wsɎdG,+q0Э*tab2j Q N!غR]GH(Td0tŲ!^;GdTΑU_&Jқ&{5U&*lHߨx} V(GA1A«hmI䯏pCõ-)IA?2\fÈhom,VGtʅ*XZm_ =-'J"]hvm7׊h "ڰZJbOlxIb 'fy^ {YnGbROԭ{IeJ uŎ%#Xy\ D_ <0 mAtkCF]ѡy! c_ `޼囎'j4ʏWM Rۘ@Ĝ# 0"1@PS_-#b3%ɐUtH0SZUHHb\5 o=}x}*j𔬨N,[:Y{A!nkBC'zfp,0?1wuCWiN0ڋBo3CS{E՛a*# AP£e';ͳrMHN ӎ䌊q#Hw$lZB/@œ==l% Mt0u a2@ lE9qKU%ˋ72R%dϷȎ?==s& A *>2y-XV| mrxG}Pب4 C?2 n=I}O&>fEKDJ)GmN_S`{c}n?@x&C#[Yhvëv N>D@.0$7TJa<;x꜐iM% 1M Wv/ٓA?$NPJ,tO)~T C8`SK%ѫ!9Lj7Zݾ@P5 ;5M{QYgQ^ci^i[ּ0ŞD&Q{8MN)/4 t=#0.$MEV&Pi CIU~jYyT`c\ht15o{lra7MBdtcyoSҸ|w&tXG`UH*7=`߭8&z}~}ЌYjeBVsxN"V(\'}>H<u zDZ+^h ccyQNwa% yzdWgYZ544c6fdf4e4e5d41645cc8260fd5918d90b796a8767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f bf54b744797d34c7e4e36c060c1a4c82c302f095