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 XX% d / HOL-NanoJava:threads=2elapsed=5.854cpu=10.436gc=0.544factor=1.787zXZִF! ]ŗXf1-q恈ֿ?6q*ت % HOL-NanoJavaK]M?hac`}VtJ,pT>W&l)z9v]!,$e $'  %>{^8[!\#D9q8<xNSSZS'!#%\δ0`~X ʦd+DTHk<#9W_ ,!bV4ڽ/:Ϥ ͇|$bS,@|L6~7і*Yxю~J@CP,q!'.hZ\ӄXvD uqD[8Hxˌb.:<0ז X2L<b=R]Pi]=x1zissl$:"X> 7vonQ둖sŜt3 ʾ=b^VbBz[r.K hαxִzJ)8D goPd.qYDDB7IClW.GkPƛ4pe:GFZu-\OBҚg3U 턡V3AZ1Ђ7ͯ)LӿЭ:k[<ݳjx'I7͏A0ۖ!IQP|MTeE寎I{J=ѿmG 䍞jEpU3/"зgavѿ*ǸK {ⳚTs~ n EϭdMdk_F{޺`gYZ1ca8ceab2bcf1e1aeeb75aa4f204c70e3e164712 23cf3a43bd9567614514f02efcc767aa225adfb2 2f3cccdea39e621542f6939e94d4c22da2646d7d 3cd5482d336e8c16c374a9146d4678d878e6b55d 4962c8f12e7adb2ec28dbdd9f35d8536271bab09 858ad251ce9e81518a179e536e8774fe58c1d6a4 a7c2e715485235366bf8ff04b60b86ad66155fbd aa3d8ae961ef4502ba736e98c565a263bf295ccd aa58a678c180636017d3a5b8458f178bcc0e60d6 b523adebb74478fba0fbdfd9425d94bb36650d79 e1e3dbe878b5a9fe1c6a5868a7a2ef4b01f2083030107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76