SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 % L ]Regular-Sets:threads=2elapsed=50.164cpu=83.812gc=3.872factor=1.677zXZִF! D]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,ܝV*d % Regular-SetsnIzӞֹQ؜N?B!VE̞~95LҠAϟX_ڇl=ۛTF3ToRwWncSi:_{zOݳ#@m,l;,Z9cH~#w!ܑ6 6?V:Aj˺]HCm=a DžqpH*b'hw msD<#Zm|-e'|t=ob 3bgjˆC 9pO%Ű{/Tyd#b όgʬ SNR].󂞱iԗ$ou49 ֵpЀJzPiU@! 7Fϧϧ `ߖ3;&-JXN_Q31ZT\'yj~N8OޢxkfqI RXrD9?; ~d!z?[Kϊڿ y"8iB}@$a^Ihk ĖZ:H]Jn)lu APK{:ԁckG<]wX/-Rձ΋߲FxGZL`+Mw1׃u}K{@\?yN Gރ0_LI\zRx$RGNԲvH^>еǒCX+=FG)q Fr~C,wkq[Hu_+;\E_.\]=9B7!\8ǯU{"/><,?j2r= ,-v΄_Z GNF0޴{d7ײ)ow{˦ >U3_Bd+4,lԲ?tdJ@\s|պS%Q19r Ucf b_ .[[j!=]$ٌtYZ/,fԕaʛHZVȈ->iboix&Xݐt<4L4_hS^TǿFxݶ*#.E3V1ڴ7~+6LDW΃f<̐(0NN\XB"X<&bxH謰,6D@Kn wd;1XX_ᢵ=Ӿu(Zg,WmаSM7~O_:uD{9;A87^{- L]),rW؊m_O<|bFO}1S)oˆn) 1x(Y-8T"z 3OVW$tg%"$4O /Bd/zyRaf, !.AM^*nCU F٠pVF{gP(pN?$ ҰluY2m z2gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed 30a1bc059e0e0e6e5c1deba4757bf160c8a590ba 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7a22667c57f746b278085651b8428b2a3e2519ea 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 90fc8715f2dcd7cb5d12051633b389153ad73166 978f4c9854098616b38bd0614a930e76821c454b ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 d3fb91c47fc3112ac31920e45c2b8b27c21094bf efc268ab2b9e37dea06f9f97a5a2ce0798e38505554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a96a31762115b67ff72ca4fd34af99c5c2b05cc3a