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 ]]) D\ %S Dynamic_Tables:threads=2elapsed=11.065cpu=17.832gc=0.352factor=1.617zXZִF! jY]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 ҐLu(U@U)=Ŝj  +ȓxi(E B[& NfUIcLN zoCF}|eyΛOXh |?_#p'hVc61',±?ILhx.Pq2nfv`_9l/6/'Eg2,\ip>gju֤Qplp}q{ɶ9^v/T]_Xhڲ=pUset.H5kGƿ,U=>jLr,I?|xCvsAjxZu*f TA6~,x ν*_/)KB;AG2˟yR{8~dOez e7gbǛ%ӳPW5{b0SP;z0  =-حϿh֫ybRf>/%.wpN&l!/@5&Lr$_5F=w )'PF HLu' k8*mՎoZx:Ό~BjfWeq(O o&RK']!c#o74I>%(s~E+L !,uIS'GԾxW8@8_JMI040 q:E-6W'n׽B0xT _a4g"jyjFH`n@ETC޹DhŵO\{ NnQELp$%P)!EyJ;9,vkG[dH?VWB{u/t3A|p?<6>LF> Q`߉Cq⍳G] ct9cgK M(?v!TйxdnF$Db];TEv@T:L&js_&N |P{%@k >u:w_Yň3݋u#JD ^"3 Ų\e6g# H-SONV\U>'gYZ7zXZִF! ?;]ŗXi%HD8hL,\ ,A30J(}d|c0c C6 C7Ai_?5jVm߼e~6uLZt!0\XO` N/)d^t) ,(S`d+5m;%2\p,w۱#ec[HwRs/-T@eVǍ^#__p !m>3X9%r+7(0\\x Ɨ[ûba -&%K \|Gb:sc'>g|tyǶƣm&ugm`$q `Eptw pe(U2O*Wb6~">ƷMnE3,Ɏ݅w^r$hOXq%p|0ƷHKU}=1Qu/WwM; %OOUz~+?Ⱚ:2f?l•'i aT3 K)}/Pz͈U__',T< YhC)wa/d(SYyNݥf?V#]$%a1~wBb,)k%=aRm-bHX_J3 *JnP?08E _Ứ]#I :ff0\|Vof(K Wa]%]ۓlN~p$ސMiVۥ֮EyOFe1QSdnD"~-"m6&~`}xI@ۑU *ڥ}~hZ4QTd|=] l8sل\_v"Lǖs4b(5?+p}Jy'ڣ3 2 n^?yUw~MbgYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e598c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a a5340b7544480df540729c1506bb879d6e584564