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 ^ $$ ]]]ZF:threads=6elapsed=12.383cpu=39.508gc=2.108factor=3.197zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_T 7G}N؉$u!K*iTRŚgQSLiE8U"ȥԡv͵񼞮6~w|.8{bbbi'AԎ-ŔW[?516. j+-E!w }\e{_C=2M҉msrl}nIk~Sy[g; z(vVe˪W-to m oNdфl@I0t4N&)9F|DOR(blZ]ދ@ w}Yfސ7vϾ_#Tss]L:"/կjIjy0eAN۶zͪ{LJgC\5u6n`ҽk:gYZ7zXZִF! <]ŗXiɟ 1FE`空 ^c{BI}ۂU,uSQkF4(,)cKWUzv+.iMrBL>yQtF+׆+z #-)[Lԛ. f&ܹ׹Jا`H_?ZH ՕrAp䧈@ce%ygQL;Zѷ/B۟y=#S`33-^Tn@A[Q0/Q 0 uͣ5#3>P¦rq73SNƪ,bPvMQ,iw L*HhAWԏl(ArG-ϡXd30\v!ZgYZ7zXZִF! =J]ŗXi%ύ2UOO(&,c!XvC z1˞^z+!f9#R>< G'5^744'k؎\GV*Zwtڋ2:pBt*Z1䦙)j+n4g ipr~*J_HVڼ[D&LU|1xm&p !У3+]k D-~y2&X8@mY9"&$U:_[dzS;}S5$AjC`/Q٠vɯ1DM[Ip|߇8/4S3t3.6wE*T*)vBdzVZ]Vy¤e};cʊ-0Ò4?!rcVҞoK(atu%7M 0 Ӂ_|`0XX ?ޢȩIx$YS9dvܟt:"FJ-%%!32HXZH"G92bKn` ZCxʈ_F^HzEʚ;݌6p-Udxr\G"׀4# `ܨYNMx2Mޤ2 tGOEC\12-ȆEP] {I㥞 w=}5 Ƭ&(-4i"t8zukuDR@2dGNǠ?;68,Tzsm{2z(;F6E5a$U%0!=\ NonϯVK,!>+aO׶\AQ]$45O6IqI_SYLe$0l!r"&snU Ҿ!{xn Ճen=>fɦ3QMWowwxEዱubŦcZKbz!:@UmoЩ[OF/\b&fIڬ` O+ _d늁MZEcu`0V)$F`JakB@}Ȑok=*O%c ᳬoI^tF]*W*m*i{"vXnh~XSe=i^hYOJDG.*zhV\OO+e zpgYZ7ae56df37e8a57f10861131ddd402f15ae09f3a513a4ee91aa67465b8841fa4bd2c33bc4d91f32eba03bff4b7647b8e546dada65c81fd9b6177d7f5c  ZF