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 ii l w/ HOL-Unix:threads=2elapsed=7.822cpu=15.376gc=0.856factor=1.977zXZִF! )/0]ŗXf1-q恈>HAHIq"”a;E HvGl cJC;%.Tgbl5xC , o? T-.^ sWV~ӅPTh5jQ[(OYO: kU+f,ٓiϪR'L(#_$X_nm)U($ 3@26ݿgl-m ׉vHgTa9FߏXDŽ0:jy\   HOL-UnixƥKZE_B=`†r .Aն2.mi7R1+2B!蚛ek ȄŞ]z3TW} ~8spv0Ɣc*YkYKEs;&LwlZ_*n2?r(Ewlf 2tMФDop҆F/"~b>) E\1>x<\%}7qsJSt[ՖΖلrWbh(Hbr̠ %1|~t\}pr١m6+ 7Wt7bEF%wHfϊ/E#^'n]#*Ih>ǰ5if<${g1  %"((kU::49Ffuu{™E걚M3 RjPhx֊$G|c)З&yUp4 FӴ=!.J'[[{n tnVRE 1eԇC+dsqH`|ǯylAMNgkLž:e7x`Y}S]REgYZ7zXZִF! .<]ŗXi%B(CA"h QiX=Frw3ԬB}D]`:0 ;sۗ$ysܤv-/:[FE5Nqm~ry NE(kjՕC,%ut$66j R8V!WF'W`O (.ﭲ5 ׾x + $(Z/#S]eY#9AUIyfK=DxVn#uB <G3O]u^d,&B [AΊa*.dp \7{4)׎-{{0Uߺ_< UI2>H6tY;C0⌍\sw5AC!y+dxpnMedzh&wѩhX>9>*Gei#3{.Fb10$oR?_ JRj)05SlzX6uzyzCn#iNp~WԳJpu,`п;#<{t3]{\5N,\tz#ڳ(]Д `ze+ՇxҾ꬀šhj}G x }WP#i#.w3/il}L\M݊cho,~1!yQʛ *3C/?ڂV@g'PքCol<]f0= '^A;" '%#~rN¦AJÏ/@cR-*13\pIm;_J32 d ȽTZk]bױgYZ3fe5941934893b5422165e490a489238302826c5 45f3aa0b751c57da1400acec441fd85b51639ad8 a7fbfa86d7a8cc469388fae396b1be315eb3603f aa408b872636f21e49cc2cfbc24ef0d8138861e6 e080eb03356d463261d6541f2e2a693c31be6d66 e28c86ac4b7163e702238f89b4ab3f6326b785550dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903