SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info &% t\ %S Sturm_Tarski:threads=2elapsed=16.859cpu=33.332gc=0.600factor=1.987zXZִF % Sturm_Tarski! t]ŗXf1-/6vR[]S#L35Ά%.wfnMZ2PzӪ܎a oĉ˯V0 kgXrSBՖ8/s ]@a@rSmK2qt$v1!;Rf5%Os| y0epAZ-@ [;+ xyuClC+jkmPBX dg"KI4o0 v/mW1'9|Eܙv[˔u TE]FhFLv00S.]vvc8bj7za\5Qg=³ T¤([C3\Tp!><( uUV~CM'H%BJFs%^;XDq2 쎽sC<$gƮB^z/bFc*$] jmyIBI|pQb/f/N$#h7lv=$.GP0$ ~n)[_FXLZ^opмA}G+2@a0GRz!CXu97&`|l+JvE% (Fftl~صGq(h=AqS pF3,Ȳɵ.s>Mྜ [Lt橦>^:K3ܖ =WkqAkqB::^)ZtLTjL.GT"q0ہ{; 9^d@C+RA bPJwR}%B 'ur 'Zy)j#+5kA<   .ܵn/|,ʶ '~'Dllm  h~,_cS@}~4Sۻn}j,xlAiq>g&;*+n>PcL2:Ma8-AND0Jc.TURD'4%=\8b"=KAw4l4,ћ&g=4lsT-E 6af`%9ja@dc[t BD֬3* D QF捭X("X;pdÃtiJEq,< Șs&C4uPHO射q5 Ċ"fA\ @hkf^Bdo>JYDvC[ct*M-s:fr#@([?FXz#\vFshOPmI# \łuKk?EzN,3{#Qc&>l ~W[7UnɚUxtxȦЋ) |BnhV8@T%Sd)sW^ C@}duVe&&-;zoN:Lq<: \`N iiDN+!c DI( ki"5Y\UZ#&,gcS7r?:p bbH,y~Ök:~|N>ZRZJQsAeòZဎygYZ7zXZִF! [f]ŗXi%r3g&9?_7#TIฯ'=>ŨDܯْ/{ BEٲgb@sc0H1n@4ߥe+'绩}~'&imtwqv_yZ2y K9eXPbY`g1H/ҏN.AF[c;ZSSYX*`=djB7-e/􄹘m~x prxKusw-`AȐMZK&6[hHYǰ ηYT-{Ԇ[pEC 'vnӘ0IjƏ{6`!d`e-?O ?~Id0[́O6z v8S O( ױѽu5J0OxWz/ŀÄSۉhj fwur[C娱{$Ly ŌA ,R{_:{&kυm7v-PX$FZ*2SIɁ>&Hse_f0GMm%Cx_&WΘw|Hn(yw!z*ʘbPkO-D-3[Vp֎qл(