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  9$\, ]% Koenigsberg_Friendship:threads=4elapsed=41.127cpu=134.680gc=4.700factor=3.277zXZִF! : ]ŗXf[&)c*]`̀.vţMbr ?5TvJnh㜙(ȗHyrT/* ՝o~X؛^ާCXp~3;53meGؓVerL&:6&&HcS,itWDN- tǖ= YF^?aND PK9 ~}}2@nD4`b>Pp=.e%Ǒ.JUjg o8/L^)Y&YpK;29G2{hn=jpϐžd?1pd?/ezR7;qr 1m#ҕZ}uq}1y|AuCz!zΜ$NcK:{Wk:[|`ى] c((yCcm_]晤и ^ vx ּ|瓕+4CdnɿrE" Ѣ#^@/-haۜZ/e lMR _D=Ӿ'|**WVK*edPCM n/@˕Q+n}k]xCA1mv@ Oֱ**X-6{Ǩ.WTQ6RH3 a3Vtt6}. +wukTc}-]h-G|6^}Cw/9'UL<{li8+y ugYZ7zXZִF! _]ŗXiɟC3zto?;Qŷȼq,S6NbhS$w).-%lQ\o!KAdcs!ARyd/"1x6:>q 5E#4ΠI >> H\hsPh<;JMHgwu4gYZ7zXZִF! N]ŗXi%L =3T}`튲_3Oh϶Jr#&~ %8ym](O%q$ku+EN3{CU̐a0N!ӫ$ i(D5JR~d`z;~&/ )2* >E{/M|ڦ_ j>\i)`DQo$;j c2-+s:6 ({JăIQ$Rd)ˮ'tj> EO9OJͱ,$,9۩k;?D^RYtU.Omy˹Yk>%C.N+dZo賓B<%7($oJ9>&!B*J'uK}33 Hm^(:SP ÐC:ؖw>^mY<}vE|}ĉ6m+>d{Ծˆ[փF { _ȨL- =#hYzm)X!%i'2Ag_; sP`ɼ$[26Gdݰ2e|}^XRI>JU;R-EwQ۵;^FfR yiX7AebV\7YHm0N* oK# ,dX_P"{SX|mtOǒnAtbtM|dz")g<d6|wF aL`WǀM[rt@ؾҹeU**ract?VgRo"Wo܋p>ҭINU#.bڡu %HI_4 ]q~֊E4pwYV[oB:b/2MX^3' %͹C祈u;n cٙWA~8>_@y-)t^E:<~ ^/oFdhܡg?wBFxLS 10s@Z>_dcrsѐYa۞]dzzMU qJ#­kc1Ӟufa]uCcaI>jS6Mem+Et6v2;٧uqeq@iApOEϽ%V0d6pARZXM{-:GT%FjyĵTx¤OߕLrjڼ.˖2 u' '`,J d /xSWTe0wDN[$ʳ̓ t4lVh1D5MS{uˋ6I){A!jniW+m{" ,P8~9BN)L\@}Jtʧn R ku ## (pO:w!B9Ԗ6 OxX8E3RDR ê╆n\1)YjX375qASJESu3CoNl&.Rf4@ ͫ0*c)Ӛu(^J"96ju mfWzGTf _L8R>0/ 9U_0ڛvnF1B83 _oV` ' ӄdĤ n>HoGusӘ^ @^)*<]M^pz'!q ,> ? yu(i7׌t~E/1֫@\0+)7- KTdzֆCDNd880iٖs\(X‰^6Pi*V5MO}_rv4ZcS w,W|'*xӃ<_&XC`4Jth US.ޅSG57z`l'Ee=߷cwH{!IKlr4u^l/8qb}[X9C[y1t͈+$mˤVH8&/܃-b Zɹd7,E o MS_5%=- " S"ANu_<oɽ ._T#`K2u_F4?s!U{2-?QwIUL^_#HuW/A`,9|1L󨊹uzs-q*e\59{́ORH1}g+|.U.ȷd̖C:#{w5,^X㚌]o{L%f'E8XCIwpZI@Sh`XreL>֭1{By\ZƁ5oV^|9uo6L < Zi6?/4[=G"涔)φoٱ*z/&FԪf/Q11@#sE<%( 5vQKHOugI1ȵ} wrk7)FrM=,1]7*M#xޕ)lt |Z: k͟.]]YiZPd +-OZY]_y"P;lYCf G!DAW=k~wT%reJaFV&L1M(Jf.Op#IVr3 GS>"ajj>v틥U#