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 DD-%  / HOL-NanoJava:threads=2elapsed=5.887cpu=10.192gc=0.492factor=1.737zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac`}V % HOL-NanoJavatJ,pT>W)7wjbs =p_kEy5u'vG-+y?]ۓL_;lRdN%:A_Gh ބ5u옊d!{!՚TX"rA5F%tjd,=Iu ռB";sྫQhN{u$)ixeҧG!LFT@NLَ;6!k~su+GC=S>VJs١Kި,xp0chwh@Z#xTؠ$髆3!%j="KrG_7ȸ_RvbtKR u@3Bh_-%TҐ9rKL[" S~hu&x0)7!3%Rp50$@J^{2mgAiLXµjٹ$Ȥ+9 R!tnvZþD.Ӿ7P@Z[6(_>P෬"qPpb$%!N]U2KCvIt]OV(t x >tz\l||Eo3 6aLpFZŃunљ91NgYZ7zXZִF! #]ŗXi%>)1e<l%R2Ġb4VwH<{߫, rCJ_|XfGPJD=8ֶd_-#ԁrƏ~le %Bj>s;p91%m϶3Nz4{;ph}HJF_Iޙ|GEgKF 3ۣ| 5"ea U`L=#9~ŦO=y譏4Bef?֗ɓ`!`L=Nu^XFteB'/<b:jT ;wz(rNoU)JeY?dOrnhبa,K |N[UL6f@U{#*sG>r9 `J'SRR8Z-]^8z\<=u\L#["۶}=ыvf$:8l-SƱY184h|fx^HmbHC*s7unDҎZDE ,7Ik\_ypY̎m2"^ (j@.֑}\^D$h3,4dsN;12 g_0^NwI=Y֎wқMF E+'4#jYL.[q(g9S`P3FTe{VA)%),R& k<+FE0gYZ1ca8ceab2bcf1e1aeeb75aa4f204c70e3e164712 23cf3a43bd9567614514f02efcc767aa225adfb2 2f3cccdea39e621542f6939e94d4c22da2646d7d 4962c8f12e7adb2ec28dbdd9f35d8536271bab09 858ad251ce9e81518a179e536e8774fe58c1d6a4 97d6af01dc8565aba0baa0b9109b67bca2654995 a7c2e715485235366bf8ff04b60b86ad66155fbd aa3d8ae961ef4502ba736e98c565a263bf295ccd aa58a678c180636017d3a5b8458f178bcc0e60d6 b523adebb74478fba0fbdfd9425d94bb36650d79 e1e3dbe878b5a9fe1c6a5868a7a2ef4b01f208303269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b