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 n L< ] Isar_Ref:threads=2elapsed=9.440cpu=14.828gc=0.852factor=1.577zXZִF! `]ŗXf1-8>l޷VO +҄RXۼfxAa%ka}.,S9'Nf>{~ke U>^!g& 9#>y#F@X0}8ys &FJ~:}&F7Ixn]P6DU+Cu`Y^$ 9/wN4V!VݍK-էy}Pt0C=GKM[^PH4)S.r2(+gcLSG GB?Yao/)ji.`;@X#3S@gYZ7zXZִF! 99]ŗXiɟ]O5-|01 Wg9Ъ,Fe{nU ʋ"y⥆Hjס5!5w\>G^Z`:Kdmj&k Dbjz!4idpF2_kbo#J3)`VWU&֥x|Z:3X)JGI%:\Pl w6 el9,Cu6GEoAn1/ADAD=$*EUvixf^.GT)dmIle]ggYZ7zXZִF! ,]ŗXi%9*Wθ_ृ |_؂2cZÍ$:u'B/Fmfs"?zRG cA'MdyJMU0-M|@bQ/etc;RX?!rzhK)ȟuBXM[Y[#Ai{MTN]p,:ABOք5N"]Q&`Z#/W1=2G}\L.,5ֻGrT9q$⮘z %jGɚ&Ǘ>3Ӽ,59(峏SU мiq!!¼UO0Rz)v,1ox9wKl#bz'`I+>'~s"GeݻvXfeΞ,1>wU%& 7WYz`gYZ8c68b633ef1500f6ecebc2925cb664aa6933bd7a1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0   Isar_Ref