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 h1 t\l ]/ Concurrent_Ref_Alg:threads=2elapsed=10.881cpu=19.444gc=0.424factor=1.797zXZִF! &]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D|;߆˱{+JKDo/5Ǿ;H2? .h -2B5#ak=Ri*6VWdp>\t ˫rGb\ߴ8we~/!Ήj6?'?e哕`X_v I>,c8RʬN,)A3J罁]hԤrlFP0W/\*Cnpm^IA+GĎP'zwۇFC)`rS7wB~讲T)iG") A7 |gH"'$([ɩskԱgYZ7zXZִF! %]ŗXiɟ1˦r pt#M&")ohEdu B9_=u*Ÿ Ď-_p?&\Nifs&;T˹rG dqAվ B:\p㟍/~Q1X4`N5JwU2(VZ1Ep9P$o]T 2DWח⯒ vsḃլ&iMCA#tsi85O㚸rdq 򕟞藊}!O#c_Zł ֍R>'I+JHGK%3iŰKX,h(ڜ3vwaѵ<~e b熔Xyl4/rİTr3pa!pA!=gN#WhrINw'ST(S߭2>߷1BrAL΀H/l'n9BU1*eBj829A,#JMaH1avIgRGCF&]("jn3 ~S"e}zt鱺*REρXxKn6Â/Ϡ l9 ߤ7dDʺH9GUYBhr=+堋[ŇUu=,WCy+?g>ai3ɻ4jW~%/"D,> H:=\?l#8U9ց3ߗAUYX6 Hkfx"w7WN4#odniROO ^ŸMB{]}@Ao24CNMKPp:Jx)#p\X/mUc`3z˼ǯN7Ziic*Q E; ,]oDAsF8_˳Tl1'gX+d&BX`:&PṪ?pVEf)dn)#}i7}U>[^kyV=@S;Gf&2c"edAEѢ,Jd4H=]ABjCXJw5]/~f}CꍯP# ަ[IH(ZAx.m䕞 gYZ554ebb4436e6fe6e2fef8f80205b1c5119de1b18d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 1 Concurrent_Ref_Alg