SQLite format 3@ . BBh77otableisabelle_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 8 TD ] Datatypes:threads=2elapsed=47.727cpu=69.144gc=5.600factor=1.457zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$m7gZh:Q%T=&2+Fde\ezBu rBMdZ!lך<+p% j%ƪžT+'zE-^LVNDB?C|'U_D #)4.J.=vTh`"\FkQmPVjߞ|씔4y[9شoj E`]J9K3_Hd/BbPñ+\7Lcdt%c O 8Lo)DZV: SW9U.Sw8f8XsZ wMi)̿ʸ2zL{{ &?wP}iBIM Vi1!,)" 1 ,Ơ oR|ˆsJƻoVzdA,Jjh{cH鹬7`*J0{I8K8 5HS|9c7:V;砙KbVwsX O}Tdt P}x^0KȺx3ǖk7[1kh./s)ngYZ7zXZִF! Z]ŗXiɟ&zLo4t/'[lc Qx@F6oAn>8Fޒ ]DMeYG.%(<cnildф+uN:_(P~1:Džоw%]ʉ@?ɹH#݂^Ur -ܙetj (T㗀HGO7$善M1)&I4%"6+UpW\ۮ9vYLMqb{r5H6ҳ)4w!JbdjkjLq'sr.bdG CHKDbNjkw\G'ڦR,G^Ys ֟]Nw 5a \[o<|76 /ԋv%2ӂMpu/=)% 5'aG &L#*"5 8LH&"Y/CzeQOլ$Ocޔt#娥@g/LuI 73:(D Dr"< $C~߹`p;OIqg?7J cv+%9q(hkh7 RK+]挝6P\% =/*JZ_f >xgItv@B)y=Uڿ ՋC/ ~XN dDwoq|]Z5DfiȠY&ccHJ&=oCF rȧR3L2Sv /ʟQK )٤PF Vs`urΛE6?FBXȎ\0 ٽuBUVٻ.ò˰RKa:Fh>8P;h =/I?U2E&T08/e :dPLD^`_ B!` E7s>Kg~Ê6"GVo/i~DI6c_U23!W޵a}Ob5jf@QRf [$*#)eoXm̟EY96x~Z̳`?}І{HDPH~1X/Ic+"D]ϵسJ!,U4~:l#F~կŚn,Qh*OPKA*ep#Ũ k4TuH8'NX\r0e]jE >EeI`koj^Y~O]!^NѤwĎ24|{'EIi7F}}@a۞3R\#1"`ai|A.-N8B͚% ]j&j "bfA.$]XU;ע7C A) 0uaioΚ'*S~˹ƫgYZ776036651c7a54069248f7871d611c5a6810103cccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 3653d2dde4cafce91f7a86412f9a6c796dab12b3   Datatypes