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 u) <,$ ] HOL-TLA-Memory:threads=2elapsed=14.209cpu=25.156gc=0.784factor=1.777zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋED\wюl H;'wNvs%^_vB{!GbNVUGR#y:M7%(h `ڸBMM{V}C ˚^&L*BE2ԕ,EtQej~#`kla+ OvK'/NY\RiSq酺kz 昪Œsbo}ԺX" =KFm#uo9 ))qC߰WݴdM-Rh^~i:%ً)W'"*4-|r|YWChޒ$G~Nxt¹)@gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKW#vNlW`қS۞h/{Kv ?f9,Ǝ>\[PsقČ)'HS˖XN:9t EE/jSO}L\Ěͅ{ G1yli[r=$n_fY?zO׊0Lu5$,"!߱gYZ7zXZִF! CK]ŗXi%;@tCA%IX.{~mhOZz`? 놱8s#fj]wл l]4M׻4o<~Zmаy8Cmtׄ,ew95\˩b$+6<>Yu %`/c_y۠1}i8+Z7ɚz9ڴ9ˆ!^тZkYµ@ []{E C!8({Lɽk5$whPh<+NBp H;EH=!TTAD屘@ŋ TϔP6 (Oдm6nR4,1Fui~%1j}JT|11Okc%JZ=Lf>h 2茰s(S C8}XƑW DwQ~@{##Ug)R ΞW73U5忉}Gdx.=He3'4&lgV(7fG:x&aj,t-Bh ] G|taU2hK }4=i |f;ӷ?y7bOohc;CUxBJV;ٌHtamdwq$\gQA jͧt#LFo>}1mj)ʎnDf_{;Ro2({bZ m[ewkԖ*)21 [cRwZ4l+Ar3?ty.אjsEסi@5\rӝ3wftM1aW&+=~nVňEe p۱gYZ6176a7d3ef8ab3cd77ce3bd15c84889bebd7cdc198dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d 26526f2f7d5d13fbaa0d72be2656c901ecff5bf2 ) HOL-TLA-Memory