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 $=  /]HOL-Nonstandard_Analysis:threads=2elapsed=16.198cpu=31.888gc=1.168factor=1.977zXZִF! qn]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`Sߡ cx-503g1(gQxz<SzsKN&/!l{+ 2@e]ϊ!Χ6]T2,͙nzSbMOL?uQjN'}flp8{8Asl(ĶuZ܄r%H]-C'+Җ'sCJ@[\nqȃiE͐`V҆ !z_뒬mSX=AbX8:c⑉e׬݊flMcXrOa $KGTt80Ee8s0l&N#AEYZ/#chl,kDhpKy7,u$! R) -4\ ڔPMdV1@!qa;.{Zm$H?ė1z͇Y;Kp`q(eľ5C zC\m°+B-k~{PÆ(xRvmu)=m8fm5*#g>.0,=mCh7IxUb ?AFrNM֢UX3/!92ƚʞAۧ-Zυ]D-JAs [)e9;6T-;aʨ^AȆ6MRN F;^W4(Wq`#'ɰc.h2X?oG֬9WR=gƀPȸ@dΜdvLq$8f6>RfÁWZK53BMU_e SD#OLD*>ߞݪ'y(wqMե8^)o7nk4 S zWvBfV?H-rCL84D!K3kp+RBWm1ƨm @+&L[ @{v:`s>TioO#Fa=fmV}?ŖF La-H#^QЬS'k-|/h^z4哱Y񟂣ԻFԤ\:|w`k;#jzo#:6:lGL>h͵+#U SeeIUK.BU{&隓 bB^صLzdoZ8$zgRm< `˜}~P._ayBNqH޷e|;^qzQ{zCaS,+inU"fxÇgYZ7zXZִF! `c]ŗXi%BWQ$:N7RKkA#BY7ZC"B2fݻtMT[ەSHoH(Jt39J%_LJoosPm_6Qs`Qff6, ,g#n|a?\:}sHj{e !KNjeҦUg6m< "hRƾdo$1Ah^!-hC\C-vZ(dLhbVxH%=]ltSNb|#B/==x5,(Q̺޽ -v'l+ΰ!l)J?VM׉;}kI S!;Z RJ>>W0:{Pu&nI#^Lu_hEqY>ZXg+\`v(H'˅StN|hjaQs|EnpsJ{*}'UD$LBimjRkG?d J+pYYqp+zi]'$4K!-A3NG0hz-#az5y?̪zW)XSH\9paUN;vdMߵ7ZH1) '/ڏR;̲%;?jIՐbU6%$[ӛ= eƛ@-+ZZxV݃p6uvT]>җh_uw)L%n !}5>S}lKGˈ-\Ikwt $iX[-9ˍ}P _p^)V