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 3 qee#C nYCH6dQ1V$21ZYX 8F|a\/⭫p3$ U6ȐJd#Cnw㵁osM-U)~ރëeAmz* TGWs|X.w.CnXX 0ͻ{ :{t~$Xdg 3#d٭1uqOqHvt]w=Jza&?iZ>;M1w}YGbEsvL\ZQuNO9p|Zʠ   DiskPaxos >A;<`$E3B_Rk p$ vr-NE*9`Xڼ N;ی0g y(G-h࿹)fd5pqZv-ۻGwIcLohiFMNt41_̗s{V;>-1~ϾncB>{cBͼf&EK$jAh[?xqofMQw ~,ی8^0u [K Y$N8_K|'ZR\2]O& C2WRJFį k΅sDfusAvg'b/k:R͡KX'ՠ͈О,AP{?8n_b3 =|^5 lgvicg mIa !E{I.._Tr : tr9 8"WpZ9A({ -uEK[_PgYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}SB2abz(V p;K7s}IxǛ P ;*|ud 1otMApuU=S4DdrRZΤW H/' +c(Zsi$s7LK?Nr屿, ZV 4IgYZ7zXZִF!  T]ŗXi%9#qi<\ GWoS%3sjU^(T6rU5]ɾBx@F2@+&yǷCUl*fy8' Mgv}IQ/^Lh8:: w]tJ=!Fa6zІRVlb0;{,ӧe8ŚlGbpk{nq(Oȍϟ0zk<#eu *qTklf=A~Q 4]hт,6.^~c+w8$^RCNHU%۰u_A 9`m6SR4^IJ8XWL04̕  K$ PV6o!B YV Fr*%V?)9ʢfaܿ. }lraY:WU"5̳^35DY.YѰS϶i!ijqRcp7 ~r)Dr  Z(Tۋ9|7#yɫN>Rbl {81![:FCLaWCHEYb/Tk5VGOvR|QyO/&;wSn|;HSGtěCg%JQ6!Rf oʶ0VCGvpev74hZ-BeFL0;EWc)-dU O\Rԩ*9B,GR:u ?8,o&tKPd%7mtZwW9 C]ڶg NX骆^ً˱Dugs{jۚAɋ*z*~kJEk+;lAӰT$KQGjPΞ0W eܰah r n{)djd;=(8qtbsqi )<\{.AÉ0_x MQ+EGΔ%' _Ȅ#+6JQݏ/F^{vZ't /CbirȮ_ 3 K!z:8L ןt*`*>4VyN(rf+闹k-.Bt`nG38pHsߝR+\-5YzD)VT cI<]33f)߹X9t9Eh''b-d;F<Q&9ZZEb6JJ\Z4YHH$n w| bX-N+ś7a2䌓fZ7kߘʮn#0`{I&ĎkNDCRoU9*VWɰľa:jҨR0 odc4zȦ[+nwa9 ,hiĔeB!곱CۆvQ~bR.hZGUu+)fTdGŋgYZc7955f746c77930b7bcd651cdb03d5ec9d0da5798ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a