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 }1 T\d ] HOL-Metis_Examples:threads=6elapsed=11.946cpu=51.700gc=3.324factor=4.337zXZִF! Yc]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVV&7a`@5ZGkD?inLIק܃}p@[JHKҸ;ט$Aߍ~P%;oG'kTsX9( 9gˆ^e7!Ʌn!}N8'+4r>??k/"nl:ZD&G IԽm摒)-z.M73*DEτ6te:9y whH|]‚(B T4psDݠmj> U9[|M`7Vt' Tq3ьSۯ{iy1LJdj95G#V8k6dzn$#bw̏ P1oPLn(!f5e&q>7M_X*Cxm$CeXӺXu|t$9e j?0s ,y6bzt~dtрbuNk_7~G ӝh 1ub+) jͶPoJ S;B޿Tyt4fNEKLKA360#&"+td8"h 7ϲ10R<o!5$.ç:c̘p䜥?ֽ\3lI=Y&s ;fJ0QV:MSvU:feKm=iIׂ,_0ǶAVNF\塯eMF\)Q0ԉBf(nL62@֏1\bOii@eͨ15Τ0I޽Tv^5=f7$ZG|tKQd@11ap >b@{!7V!~ҡw1kobWܲDmͻoQnGV@T#򌹚D3 cyh_q`9(F בϥ$NU=$hoڶcUs./#>8-#PYucW!~ZǾXZe *l;!A~V<«2@ho'_kz]6a/c ~֧4$ao.4y6kIgѹkª>cPȐuq>.TIHgfr\2H9\fL/= b}f`q :K1HkJ6+=J;QB> MNgYZ7zXZִF! ']ŗXiɟ1$Cܨ }X 6P]!ẞ \QMrs[4`<5`G`:I -mղ<|!5`$Ĥ|O:ycQPV*3Z"rxE-'M{ W J67rG$ OPC@66kxP5+̧¯Vș"T_>ɣF(p.6iHA9$R K~BTBX/{9ڎ6EqF@H,pRpse17?˱$9cKgYZ7zXZִF! 6*]ŗXi%;m6aתfCJp8vӝ~Fi@ R9oQTSYހ?ȃƜh8qApMFo梕)/MFu\TJ856ٗ #aa{ͷa D@W{ʄ~ټ#/Z"р=rC6_H}aKz\M Dc").8j%Wqtm*QŀsJ\J|WcCFZCԡ^=$;ٯ ѵg-211W2 4U{n)[7a1/!ZyMC.kˋ4[߿#5x' *?6X'*sfRDT$Eտ4@wCc)W 1*cgfy&Q|Q H>;fw̪.f;pN[tOgM`8ZFY9dk8ikH 58sgߑ&V֫o="`'-_H%3f>;d%ƀ$3sp8-}tu fv$NP%[0G%8&Hsvn!AC Sw᪬-mmk?+*ô[(-[֧-'SV |3jcē:*a