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   X< ]S]LEM:threads=2elapsed=47.844cpu=92.708gc=10.664factor=1.947zXZִF! ;W]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm ljk1iT܇$h4r\}hFěC)O(z+@V02j6ƧO; w!dS9 @N~@j`c6 $ICǖ#%}/I{TM! 1  \~VϠ'; 5 ?) j;_dRJtUuz|&9˝ģh.}\1{[/͖& 'Ӂ.JE*KT[<E%^zV©<6(Y$7#;L]kh$-.ȶӝ8a"WU_Q0qnEV O> Z_C9fԑw랅kW $:YjP~ͨ%k*zm33oӰM}nTV}%W6E: b @\:4iiP d 7xmgH&/Jk9`Irs_b]`G 75?(kxȲSaXƅ\w6 Bψ&{X@OMċ (9?na9T?asͱ<ǔ.nmxBۿ++Ӄ.zEt1L"wףR'L|Ɠ VN)%9qhNM\pvoV r0ь`iTPL7{`2lռ.١VCO|0k^F vI~gYZ7zXZִF! W]ŗXiɟ1˦r?p^v3HFF:8(\KITNmTgzD;S{S4L !?Ym-DK@#T zyZ&sEVVE#Wl#QEEF+g.́I ;NN1l# 7[2\2rI te;}tSI;Jp '5Kv&/52v08by:J&bѱgYZ7zXZִF! | z]ŗXi%;gD. 0KJy.z[K r<'D3`&}1>j1!_{|F#Ng9jlgh.50e3UQ |? 8UJS[D]eק9cU3ͫr6猪(k)C3(XEaʥ-L)gѺe Z;h4cpoOrӳJ ʊ])Qn'3ZGJMs:$oÊVh,zHVm`O![و{ Œo`zu`^%qȾ7L*/6ze/"X>Xq5 1/%4DXMt=%)sZIuw;#/n32{ۂnWnt3fw Ը*75(pGi?ZԖ;YKh2BMe HقN~L8FCK~^W}oh u&!92EʫbxΒS22ufqoia}TBdT OW,+A\z`U9VXw&etSQT/#/Wh0B)ɷڡj&I,0gT$CIՈ{ڠeF uU!=@Ŷ{afxu<_&BlՄ/8Jp\nG4 edoLPagzUl^jie\RC7<˗ ]-=de}^dlZR7U/|4w-ؐ&6O|ZGcf 4h>wԶ}^'RZ#sL/8?O <d~t2*JJxB2e=^q^! EDfYJ/^xg uhkr7PxM z)Kc˨>A룻~Lw0$h/b_=йVV m*n>]P͚;\5[Au&CBAT HP@׾ *@,O, lxь}s]FU9=o>;{IcUon^MK gYZ4d37f5852e4479e970ba4adc5f080a5bf8d55013273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c03b1a0d334c9fd9fabd82cef3f83f6d308d7309 674ec0b96b298aacfbfb2f771c671f502f92690c4df2ff5f4f16e0900baa239a5ae893cf9330f13a