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 ^ | 5 Datatypes:threads=2elapsed=37.784cpu=56.236gc=4.224factor=1.497zXZִF!   Datatypes /j6]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^5ƾ'b%m D#r{s/QzXd`zDxvƯ=Hld†)PW6T P 0\)$1r8Lpu߀G.Յ''+}W4z ="~E=,=]Mvbh՜ظ{'%̗pu֐^#QLݸ,[[0?2CɆZBVx\M0pCQNę.(jgѩEe( 3?Y[`<ݕ(Qrd}]'Mf&N&8(JPI_Xí̐i OٚO]EU"EPBE+#5CfL#auy@!RG;ݼ89 dCBtV[!19|8 1~F#@98pHC1ƺk%ԟnv f$1OT/ ?^V~ J%8na0s{Ζy+QmUeF E0g@nΰ>`dsd>GPo8]{!u!UKOnYo5p>ȣϭwU'K-o BI=/6VP干)P ^˱gYZ7zXZִF! b@]ŗXi%k= {G)g'$ReԕAޜEȱog8Kuvl` c5YS/5l{{)btoGB3-Ds)oE 0(jLם7Rg"Qη=Ir8k914tjI:(8)*,.XUv3!)@[~05/شOCP\?!'Vdg:چV$7Jp;ySr8g]B~"xWoe' = ۯt6@G.}W{j.8CʫKW $IԢkiiM^0ֵ@U~/(}Կʊ0 蜺tV7Sa0w~O6fev?ꉍ2jS*(쯐30 ;g1ăS6* Wj^46U'xQ16Poxe;'|.ɏR@;Ԑ_5>϶@XhהȖEv/BA>Urlzjn""]4Ɗq[FwןSIvQTvyGXsZ&nweVD/VFplLڳn2. Q-oF$ j6ދ^P阩>]-j?4TOr)ۭ'M墯G=@wtBN`3xh:b*V&C9u;"g>m1sK{8|4i,^1;#x~,}֡iMk r]TB\-Cy2G`f y-p.6}:0q=ĬBajIK]rݼ[ Nu+vn4(atx%O=w.<遬_؞[1קּ~ cg_{-8GOFw3h3*b&e& à)` H:򋉾E]鵹'<Nm],D͏HH+2e٣n­uhec \A@R ?g?d:0LGޞ;hS]ȅ8r SKX{`+/?m]eXZ( TWyeV*cq s?g)}? q` /P*qzY7cNDyk/{w|Fsn}Q%-R;?4hؓC] )0:LS9:Hiyb\s?.=pտV=DKv=37ٝ]fb{qḴknO]hPL\A%trD0՜[ݷ9}'[I