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 6 $ L ]]]ZF:threads=6elapsed=11.617cpu=36.732gc=1.952factor=3.167zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwJʓ[{E4EqPƢ,Z51_1 ī ơ?jh "R效ydslUذfUڜGe~^:;h5y; fBUWQk6k|F5 PfwdP7w!w db)@wFƶNL%42BsjYUBzi1[t(ԝ~KRe_Z̑c @P .'?95'o -չz ˉjR7F{ 1?:jI5eڦkTu( _u-#;J. R3/rJ³l'/c6ВՈ3>z&0M gYZ7zXZִF! =]ŗXiɟ 1FE`空 \K/C ʯӏ9uZh/Dx|4i: &AcpLKnyI%cX.X˩%ޢOC!)_v+w>)y_?+iC 3|$JT=] {”mO RQ;:iTUj2 bWbUwNѹV:q2` DEa<}ʬ#cؕA2Van6:O.YiTyp;$Y0 U-hu+2TeA­8~jWK$sTnԾ9 U,LVV,kEE25uN6,xmkcDoΛ<U+QbL[LU?>`寶L!;a"VF؃Jk{Ҵ{P!3qZҢ_8)WCBQS9 j m@od6WY]`;>nUۃwIg u1Z๱HL~ #BImV5EϪqm'[!R8Jc>S_!|~ =9z,XiKH̽#DߑbPGj% "/&b{\Hj%ܝL  C+kY؈o*^4bWkx6(,U ?D cweQJlemc̦2iWςA\¨# #|ԼsgRh]\62h\A :|~{ ihwNCuQ` g[@VmXC3]0|ܩ<`'7ݥj7q<=?v MWH7,$ioJ(ӓAVVBXɛG4d]ۡ74|ZKa:}Ro8o^,h ɺii"X6\#jݡHą16!vEԙ8Itp|vigXpKvH7ʦp\ =Y;AV*WII#uF]ͬz0 6@\ :$p9g:(}1f|W>nBPWQqckHVCMH{-YK2~,#DS@kL]㼖AWߞW, 3NsQ rt+Ym1RNLxǀjWoB-v63rVzO rryzb( 6菄*vE >YՔ24xG-uB Z^{mr(3ș6xnmKe3!FAզv&Lnc3 უ-(,' u]#CkMZ \Jteے1 OP\ 惘N*؏,굝02H y|FC@ qj%QgYZ530f2335fca7b7ed64125369efd303444250042d37873e0061f17d13c4a85581673448df5586ab38028772e3c710fd2f405883aa829d195d518239a5  ZF