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 44A3L m/ Partial_Function_MR:threads=2elapsed=7.075cpu=9.936gc=0.576factor=1.407zXZִF!  ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL(D-FR$yM"{OLuqj+9[K&LBMԻH&*1?L7gF=ZI[W+984[bN >"eg? ûxڋ|J:Wޣ&B^F9 jcڕ Lq"i `gecV2_GP6S)hhe-[U  OgYZ7zXZִF! )]ŗXi%DQS8ʊRτ\ 92]AxG"ZY2c*^N門X(ػ."V`weeۿp>)9Z4$={%͋G*iQm'S޲>߮x ;\1ul9W@@'N0[:2 jCOJpȶ+ ֎ZgY 3 Partial_Function_MRia1ťG=2nIH~pG_9/T),lpnO 㱮SV&&ҳmxel$1\pQ °!PPp]oa|2L0ee]rg9qE` nF/~*)c9`BnJ'T'Ru=} _HNx))hGi}FGro+}zfe Q*uNNӨ(l3x]h S\q/,.{g&jԙUj4L 7שf b[4%hOR4PR_f@1 &-u'f qg,tup¾ i]]JD 5Wp:ˈ=S# T@bdnOq&* JZnY3*pUG h%4(