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 \\% T / HOL-NanoJava:threads=2elapsed=5.776cpu=10.360gc=0.580factor=1.797zXZִF! ]ŗXf1-q恈ֿ?6q* % HOL-NanoJavaتK]M?hac`}VtJ,pT>WaZ2WAc D؁W*g}\ܗF>c0f!|Wp߄[~A6~"=2Qud }WXIG4a%Ot3G 6oQ'3P_1ni!v4UOEo@FAxiWڍ(q"Cf^R}%2zZ516OK:gJ v'XdYiz=l3 uĆ j ,E(|gihcTwۛ)7!nM0WrΟGY H`S::=n:tܐ rt)vQ׳=YQ,F8'Ћr*{mBYrNO2@} h`+Ox6F8 ! Ow9Y~+ēxԛCS*S}36q{T.`rST V.4(yTh!_ivcG;b n._ʅ=gq{IxՂN"?S9хD#,fbD|')lCOL$Z!"xD[eg'4~gYZ7zXZִF! #]ŗXi%k= `*B;<§nr`nj{qWʡ;Q ɿ,Uo`x; oyG~^b贵Bem LK1]{Q.%|>'0m8Q%U 4vGCB?jcjEN;xB=&7]wZ,/H áa`:h17J5!B-*I~妺+lx RkjS0YE k#Nꪼau8:P(]u LHU9`߱dԺ<~NX!Uڤ շRl i("v1l? PAbCH)kc0(r,ATp7{ÒՍC&ջjzC:ۧͶP`s!0S ,&R0JfL%ħVSI`S%n90lSKBp*z01]1d*xCIzM` @^<0*<z3D^;jB;8T" (&wP^2$YFނ5gYZ1ca8ceab2bcf1e1aeeb75aa4f204c70e3e164712 23cf3a43bd9567614514f02efcc767aa225adfb2 2f3cccdea39e621542f6939e94d4c22da2646d7d 3cd5482d336e8c16c374a9146d4678d878e6b55d 4962c8f12e7adb2ec28dbdd9f35d8536271bab09 858ad251ce9e81518a179e536e8774fe58c1d6a4 a7c2e715485235366bf8ff04b60b86ad66155fbd aa3d8ae961ef4502ba736e98c565a263bf295ccd aa58a678c180636017d3a5b8458f178bcc0e60d6 b523adebb74478fba0fbdfd9425d94bb36650d79 e1e3dbe878b5a9fe1c6a5868a7a2ef4b01f20830d2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c