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 w) ,4 ]% Jordan_Hoelder:threads=4elapsed=10.953cpu=38.300gc=1.372factor=3.507zXZִF! P]ŗXf[&Qe_ u]v+F0}bƝ<|[$'6$ۙ8ϑ2f=$5ʓAvfA6 u8~j8)V1WTS5`r{,B>*D8?5BlnC|!cJ#N2^_$D\ hǥK=TZ1ွh!m<3Z3)\VX_:~BVc,4Ku>Q3܂M\"6xpT jj\@$]H)HfDK-̓;&G&nHOJwdDž10V!̑Zo2 lNbvՐd X<3֖oz7w@@/(Z0iI9{X$Ly}]ʂv|/YFݚ:pKY]dT(Kita(GNUz14{3-p8`˸G'$V5?(>|% F|Yۡ#ggYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz{ VAnc&s&>ogd"-̺8/j VMw jY*=8C,%\eQI -&wPxΡ!mM]wMubH]?ZDV<=zYU&u..%\ <, Q(?0T@}cvH0G^U|G1ԝKxtx j-^Tm37Uؾo31gYZ7zXZִF! Vx]ŗXi%Bt0Ilcį"vM:anFQ0"l[%B!=>Slu7 {^6MB7cΰ^U`~͓VM[N6tkn6UNe~dG}.\R P[ъ`& ǀ7y m&ORu-~Z0̖! m!؅CGxO/ `@&Syu훰`ǏT5 hfYf]BLh®!"8p'%T)7>ݚc` iq]Ǩ:q'4&U~D&R ]kmPie?n =CPc(9IE{9)iC+|yUHϙ~VBbhoo :~W5AUZSu(O?'0k '+x(tMyhСÃCb1(#2 c2/KZn]YU+!$P ƃfml&6j,(CCH B֛,o-G:y*Mmw%s_ޚ @$|OD".7*vG4#qY8 @Wbl~SaQz\iG,*9ѩ:|bgoإ_S_S5@.aLʼDQψoSrCs$ L)ۛ, PN 8`TrW(^u#LP}UK(3Td/.( am݁;(ZpSmMRCG+hy*L qZ>ҸCh89ȥq&TWU!g?1"uunŶ$Ϲ _bO75WPT*dEg8/Be/D 32jd @ ?A`_?oO1U$H!ɭ?L66G;!9-$c_G87} ߧ7%w I7 4CgYZ8435b2a0241c1c4722c8163bb3adb14c64ed020fddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 5b482eb4bf65e70d402e8ef0ecc74186f98d1c5b db31ab3431f20b0b68e3f71d90043a7b94f93397 ) Jordan_Hoelder