SQLite format 3@ . YYQ77Atableisabelle_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, "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  !Dt ] Splay_Tree:threads=2elapsed=80.037cpu=100.532gc=1.612factor=1.267zXZִF! n]ŗXf1-q恈%kV^M[-U xNo[q;O^.%#6W6{_;ۿF`)vT/XyʥJ;JI=aUD3BBe%a6"RƙIZǡ lk'Na'iQCIgQ^^ˆ%iW2нO_!:d;ÌTdkD 720ndrL,k'0x;O}a HۥʓvrٻV8?MؖWw 3$ ټ:e(&~,Tye|/7Mbu6],14QRt`>] ǻKк๩&PWB 0|j^0f]g `_cxuAocy"/ 7K1væ%b$/3Χj"}>Ehd(zfǟKm-v3hIV __q qnyUk<}LMRlBf|ҹ,_ ʣ?d%w 'uscg >d&4Ӱ)ί~lȒH# `(umTd8,{y{&ł<1WWURDdmٔ ǭ;^ɽz!yrz,Xs0nL9K]ƀqa\`l\M\m+,^NvX |uo]o+A6 9"|!:@{נj:4ΑMOjtѴaERIm z 08 S?WUxC+󯉚m^ήIᥰixܶGhx]X@JSmu$l}$.ZDWt>L#*ӺWaI:/'J۷bxƙu!רs5X{/ZRVԞ\?o )?3¯ڈfX6c5wA`I})#⬍wnk?ḻڇu>LG^/[`.?2DgwMPh%,\~k}e~WUUv-&ƹx#@BwZC Yp53cz,CjCBrY.hĴ.+XRQq`{փD_* ,>+w5zF08Iʏs[=W|fy:b*?w|pEOu$Vi^f?vҧKhRPMY_kVj%p*vlDkTjwɱةƏTPy[B XY]L@4 +},^/4]ǰ~ײ*HoWa5[ms=}@>Xv8yEEe `Nɼ[!v4N+VQ֕e!pSvƻ'=;y.1gymG)5q}4oc^q}<S? 8(*\īlvw' ƒyW&iұ8KB[*"˔-n 6Ֆ5T@spO4"(F]s5h{7@јpU턁4Vbق#Aɰ7ljtt8z4QSBdRu7:O/>{dgX "OɧVZBW.>F]y? s[OmŽfȰf@H8]?zh<_&VQ,4|M:-'M˅6o~ >JzsyW bNG ,nU@|9!uJ؃8t__i`]#A:&: 4@?& RI]R7b܎SmƯy/ z(^^R֋h 4)3Fk'?O8[]U;gN3h( : s.杈 +^|I@ <묠1=BXsTN3%Tfٿ#`JD_?{{OAmRn Ia9st3izoe!it0~bسyN'Kk xV4R ~*Tg9r9Hqnj9dLBlDG`sAOݢ쎌%18;ٳKf['u A^XkP` ۶@,v$tqQs߿]d&@gG qAz#&P'Q&dvpB *T^Y*]Ī:{;pbwi=Vz.I`XuF o1#`/nQS{:*AƠǫ("Vx_G"֭Mf4;du͜ b/ɽ S;;Mz+*k1bGʬ_7#fnܝucu?>,F"dien9 vPUdW\w{~PN/PR)ċ8+2|TEP:υf"'/J||EPٜAǸ@~P1{[3/j8QT2t*p ,E[r=oW \7_مH!*p;i&XgYZ8bc63b2c13269674a96c73e3fe8837f365c7ea70e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031