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 dO $d  HOL-Nonstandard_Analysis-Examples:threads=6elapsed=20.821cpu=51.440gc=1.916factor=2.477zXZִF! d]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-IߨIe`+FZ֘[Ft.R8mIƷ].˪?g)D-}#|,{Hຮدw~pLd= T:`M΢\[c mc3.E$՛cl_.p8p Qڣa>Cu|Disw]:IZk/17M xnꔑ8MQzmaF#Pz]P_B'!/kUǯ`ЄuRVPb-lB3n} 5ciА2lLH+6P̯2Oh8 L iSN7btl_[\+{pqdCqOgTX*Si!ѵ}Mj.9bA Lg }Ne23)Z 8>qr^gp"{VbgIȦ=W9_^۝'JA· sh3Б46䡶0 %K a-E9U);\%7& ֏lOx=Ko8[y҇u4B>_ */vCZƘ耘:p y\2DwfJHI?ɰCEn  ";L_WCn4f(+x-Bᇭ j=_OBEU~ͪXGBR` DL2BKb@ko`w}2i1Y~_ = 2|_=vA6W|:EMk/"A꼘ƾ T]ݝhЁPښΫ ԁ02k8vW=ϕgVSpz2rzbBZT>/ Tny GJдh#ULɦT*#{bpEl"d$(:NMDb,}T{TS"sC^'eTJXkT.8݋ &ഫ˲k긐ϛd Zo*9t$Ld,67?}ya,xLirl$B1M,p9uWZg7Rܕ<֎#4Ҍ ۰iuABpG/B VA:HϞX-RҤorn|Eh2UD־CbMsAAg ,9h(I&y5[aj>G/i<Х,GgJe+|7#i":h5[)d.`]W/h)?)GU/&B#IIl 謚GN|3:35މ7 K_^Ta-ܖ}b2}) ?xEB}-/0f]ct;2gdY4 *-TDȴ Kw_so' $NGLkeHr=!Mx-4OM*E:Џ s;Q/1I/5\:|E:X)jSBpjk!,6gKU2aRq3o{Δ&:nAw1!u6DFxH\1"~`6 Н4Y=W~hP* 7 \dYmA(]ZE2n> !ʧ 5υD`T q>6;nུ qM8_5ϒ$3[Q`q=ʔs|REڠ)x?Nw{@/GZ)XeڬH_{m.+J+Dąʠ^WA 9 ;}'}Sr$B9i? l%2'Lg`o],꠶h29Wb A1p~R DSkR`׏TGE(@4THDe& 0(2)~WRFTRBc%z9Ig!(B,3{EOϾGNlх*^mGh@ >.ϼSEu̍m.3}4%G~AHד](u)h.Fsm(C`ǔ$tSKSk{jCUjhP(,)%Pe5~.^hMWmҞ#.ƃ-v-˻6Ic_Pl} iw+}}"0Κվ!d)"KKb _JyfNwHTݤPvČ[vOAСK'qO g( -'N!W2 m4^ߢGP< [(bk0paN* ?mҳvs¾dNo{Ϟ /YkErHC so,$6ڃaZ 0$]$F\t~BL+٬S&IW4`?/~0#H VὛ56eˬeӁ5qE-ۥɰ^=: `@?}ԵM4Ç(!  8>W~w),}bԠ:Q5{?rMŝ!Uh!9={ul;|7w)A uVOp|}@fJ E mBnsI=7{H@v'foO0s9M5oĚ MTC|as!qgYZ7zXZִF! c +]ŗXi%H9H{Ŝs[/eN*qE+u} "p2r.=*jQJ.&` nxemi]0^ p{9bZBQguO"{g`؜+JQQt57c1f;INA+gͰ&FCcբo+}_|l2]+xAkNQDn/"bfk (a9J*0`7"Y']Ɵa}xR'U %W27ֱY_RFYO`6R'Q.~LR]JfKs:jbin^ɉiNk3,PjDi4lM:$k`c&ˬYVn1d@p,A@J,j{j\L`]ݦcMj,05f6Njpzy:SBi a·l=4[T֣3s fI-Yf[vճ@Z BfzE?޿NV`>6l HWA_0\,DwlQ/c : .gYf>Iva'`*xݐZ1ILAC3Wxћ~22ϔؾ:J}w,N7GauN~ Oc}t J9e3C8M#9y;IZ,Ɖjr>[e[˟{ --]zJHggm H#$i=:ݑ$;aD{`PDȅƒ#@׫ʎO CP Vɝ;v;eI+n 5ąsف:AL2ydFW?,U}j df<#8~!L[xN&Žp"(+ ztm5K.^plFXZ[Ba~=܍?KFR/ZLi☝'e]ct@<ι,>n?309}2MraMY&xby^O@&u\^tM0H.34*A@I7!0'@G|f;nAfH&҆y?-q/E물V8XTx[p`ɸQq|(ϱ