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 44=3 tt S/ Impossible_Geometry:threads=2elapsed=9.421cpu=16.728gc=0.492factor=1.787zXZִF! Oa2]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQG:^Tq)Q-ÌM^EmeQ{wmOAy}zoL ]qFɨ&euL{}2 9?5 Z ,~&>WS$PÂewv U49[TŘ?f_l`[sO!dOҷ!p\} \܌ i˛d=`4z88p&k> _w*_هYmYMGsLO-|S7~a[== ްSQ[PK{Ca JDOU*a +?$z{6.od\ cIYp3o6傲0:12}]lfh < ԛfi{3kZ'{TDˋ֦qm4jǗS=R@En"7a@ur\G+.YM>CZrѡϩHWp̻N+Hqɍ{#. BBKmA[Iw׽Qgz ]{-:]]81<>j.[Vhy/5d4J@< cƋ>H%Rd*IofV2WKld|ߢCѴXд3]_<ٱ x?.dxO7&U`('֡rb"zr3\)IyvڍCSd"TYوpoܘk>b&g9$|l[@S fn㜭 f3-C{/*Ƹ Sc "5.h,EuX"ٌ*uA 8'l-e'l ֩Dh LqNy@fg6-""-VwFdcji[RR 2«Jt7Ds&u?7p0){SVM_`6-aOM=u\S 0gYZ7zXZִF! 5]ŗXi%2xRN~6tAqI - NX(gz%S@Q \?|+͍oLvb+|EIԻ~t xxm=E TlF/f_籺 8_C; wJؖD}EJ7ʫ5f=*80/Hdr^I%j]zGkrBxB`1IzfC`mNQ"h 8 Xތ'٣$$x ='6};Nh5Y50?Ѷͱ2ϛ(&=uPy2`D7\V*a>=lfga u`K"<4 T$G*a--~8KK95k;#(dKdGkXJA1 o[Di]'%uiLoP5}_!_+% kܲ@%l,vET kN.EV6oDUɼm5 Zp} ?iƙWԷ_H  *7M=mtO"b0 QHHRE^ "w@R )(]~tt"0&k3 |#@Wv6E#tdQu s—N;1bh,1 y*41],Տ7&}+֌d;x:HHB@ےG