SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 i1 t4 m/ Tree_Decomposition:threads=2elapsed=8.870cpu=13.596gc=0.400factor=1.537zXZ 1 Tree_DecompositionִF! Geq]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(er :P]dێ JcšݖQN5וv*Edu GthًG v#$D4?q<'$+\#Cp#-7H6U Ԡ  ͍S!CόX$_Br\=Zn~Zos?i6H-6 sib  7ks>Y k54p;`''Gl vl[yύ7{an@ Q3yxx zw e 7╇%8,au&4ySYl[ r~Y@j)4Nb^ʹ 4ɺ>L/0@" XƘ]ZEgt|X]Wq?Xi`.Oul:yWUAtSF^ψI<ՊH&\4j{`HC4 ҵ"2_M&Aj[A!\fEQDI*"l<9p4M[{F_MNt~Y.^zssy9y0&8BS~)IY|;Sdb~4BȠ%iʙ}2-ޞ|F=ĢxTch<+jJIR{<;/ sFF fӊu~tk50&;z+."̋:~y|-&1Yu =|3'|= p"`| s"?Dk\B lr gl{ZJ:jy(>%G1$Vc.(CVь_OA7h !SGX' ߙ 0m ;OZU~ SL2neA<7#$:ZzBF7!PFj*1:b|||Ag=3tXԸ~hyC'u-J$^ #`,ۦloz@yI`q7 /:!:t P>P6!ce\s_t!lPBk 8yjwuTfvWS 5槗`. U ;w>]Wghc3!=A4^\Pw[CE7@M`x$og$7Z#[6Ѐk@Z YQʫ CvIU:-3"W8{ߐJM@HT#d786|iU gYZ7zXZִF! 5]ŗXi%SVBPFjɤKN'Mѡ6Dk,݀<ƋMTA aC9|>1^$)?ΰ72|5Ink=Q6s>qVP ]TwHq"NInePܵ(vK#cyVƁDpF_(ϴIљ%ퟜ~ymMƋzbo?Ͽ.f4y~[Xz_'LG3zVeV*q * mZwC d;so^,dZwB+H3a$O50k M,zW.CB!ygij3HV1,rn+~ x*Աt]'Rw(KDp7$YKW?LJ~ljC'lkqd*:Ke׵Qj)==ը&|MpnLbB߿JW lg5NU>#Rnr;kOzeDžOZ+%<C]2y&44HɌy3>z oN!<ܠ- Ё1 M G D 7wO6W~@`ߙE pdB|:H:Ta-~7 bCdcd<+zJŹۋl[Xsk]ԱgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4