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 |\, O/ ZF-AC:threads=2elapsed=5.263cpu=9.084gc=0.532factor=1.737zXZִF! h(]ŗXf1-W'S)fcԎ0~-,ō:OmX dp/D!́6)H=jxH],q&{5ބ,{YVYaی׼bȓ h9D &g'ptdC/27C/ r\<"?T*U\!a=,sXjmb7brdn -[ UN{ Mw}`~]0v灴̋3':oRL>6ʇf^p=i ڧi"6lvnHBqb'pngeeVߟwNu_WFAԑ]:xaXnO֑cΠ ׁtx &h9) Ϗgߥ]8  ZF-AC@~ 06\bmT76+Uh9>SJ7j>&nڑ6Z Zهun i#NLI:LbPK뙙=:AoҦS*h{!x5-/g[!Rؘ6X?)X ʊx?CzBq#%> $҉zȟσ7=#Q=i $uoRjIj=-[ M*g^a۪k% e`&k-a>DT.ձh*%"sJ gרӪ`H>\1Žu)XaTJ١9v`L7njtA<l6) l0II鳰6OMgYZ7zXZִF! #]ŗXi%iI @.#>[oyz\@Z1uDi"eUJD%t#4ecvV`DJE([/ ^y9^QvpFt~v,l [T.YnHn-]rsE"s'nԧLt&w/su _ d綅uGp.meq$Ha^=ι5=t4tlGwq%gSlvJ_oEswE97eXh0T6{ @>SGTv 3w7 `ȽR&[ÿ;eժӄ̽'U>EFACQ tۺqz$ͿkvkhD;ΖCBpoK|i,PW2x*iۚV:3 >NTt9d*JfvTU?Y;C=p6bIgUÞwm>u}~yK̔s3 dBkGIAO iB︙f= ͺ+UotB %%vqıYN1/r t 8{{QU]yq0gra{+heƍ;_RF^@ѱgYZ30e14a4b9e04604c98bece64cc44ce8f80710783 3dcbf32a5b201c43f15ff143b6ae6554e8b4473a 3dddc0ff2abf09d1383929a525e0f8a75a6a3dff 5863f148db56ab09b24c50474c2ee660acf73784 5888623d64ba12e6f0306f3fd1f757401cb3f69b 5b1e8dced20a23958aeac57505cbe89ad0e0cd53 64a54d70f4e10b494bc05b075dfe89b52dc30641 76efaa96c7daf746388df383464cfd569957afb5 82457f4f58caead494df56976f8a5d6e07ac4bdb 8469405c44c723746957315086839625a26484dc a44597aff3d071ffa814710a7acbd739e91bbae5 b6ac791f14c9c5d23130d34bf64cacedf7be7319 bc19eb10dfed3c83b55145c646685284142dcbfb bc53d63647d459e2b29be037d4027890d3beeba1 c27fbced03b045d7aba88a83c433aa1c3e3d83ac c60f47c961b5ab563d317645f93e01c285851ad9 ee99107f08bac5101c8e9e1e654125db32780923 fc9bbae489f04a0823db72656f5127ed041639e8d2fbbb72014e26de66d280d7be7d08deaaabe52f 0a5a5f9d77cce4612927cf05284874a58e3106a0