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 66G L ]S CCS:threads=2elapsed=19.376cpu=33.916gc=0.980factor=1.757zXZִF! ]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H1Zc Hݯ}4ZC#S-לZ r4# *yIO鳥uӆ54)')ok2p.|Zysz8ƍLR (66 MNHn#&Qw7j~ M`E5!eRBLyWGeeߊY4e gu9Ϻ?|Vစ3T{2A~P`3 Uiq/\\U@Mwwk_7"غ^=,2R7 Y f Q೅lx S} j\56^yG׍ffK7 Ia|k0cpCT!*br)"P0+I0>G}Z;vP@kAJ50gYZ7zXZִF! * ]ŗXiɟAyԳbɚ->=&O1Dk1q=̦ h-|لFݕ5psv}]~Tis3Fɢ'{}G?-qMo?~Eg:5P@s:3(#%Oy#)+.ZX0:޲#sl>F/V%EC aO`CgYZ7zXZִF! l+]ŗXi%93|zq:7iO@4r"Dp3U ۶"x1zCumsp4FG̵>_ ۅ y 7URK)yxFQ&oӍ*Q)Vеb=:/h]j]{htu^anɂ>RXi?E@K˔ *8]H=쒙:>t#7ct@d -Um3M.s.8v9  "F)jyʎ/YRz #-E2:33󒑤)⦈7K5P*‵} ꤮\ Χ^8Yϸ wEu `?_QR_C|1H3Zo(Z+2@lA vd}} X{QnC;[^?ht .>Qz`b] }$:O~Dq٨.|ϒ_`W͝G2NiBVb(Fn! 㲳3p9b!\( c+<9ATz}h눛ٸQD+kg~xbq:-S}]2 ;HFFOGETo~{}g2MfB=uP𦲋R80Kwtw3$ 04\ޮl%q=pQwO)_  nEML"*o̍α