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 ]] Sequents:threads=2elapsed=3.749cpu=7.268gc=0.144factor=1.947zXZִF!  ]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\L= t'˗b 2b ʣ|/UH܇wRI_g}cdP+a",}v* S4c.U>9T-HN-qo!Rxr[xA/ }gYZ7zXZִF! ]ŗXiɟBv l82X:xcĨ%`"^.(MCu_39?2J [20fcVؐrW 9+Gr)RiEbw^@ҾHb*/[Xstl)Zy3i9kM+?+}@W=˶}֑I$ni2-LNT( 9Mj o҇nRͺ<6V0gYZ7zXZִF! F]ŗXi%;dM[`u ְ~ZMhUeBuZH:a FgMLSRzk3eW?oJln͛Spp8:Y0a`)`{ y-rwK;t~ 1#DKz!o+ s D[@eplKt'ɽEV6tV7( 5S*{}Lr?g'T}$%TH=V׺)\I\M_L*} $6A[7iQ!MbL4,{!w%OOIi|#5Y%CUu)7Qb*6ypZ8Kc{qk8'0Ćc3f-É`T7Ʊ]6:'ox%a#@6~4;Mqr ^M:OໆӶ13wڈ; XqjKdž;qˤ7\/"|.fOLbѤ/r?LlIΚR=z㡫4=QM){.gYZ8b6720729c56e3ef3e53ce13993d119f8da819d6848658d617e1d31408814b70d854f0969b4d3dd4   Sequents