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 WO d  HOL-Nonstandard_Analysis-Examples:threads=6elapsed=25.886cpu=59.920gc=2.244factor=2.317z $O HOL-Nonstandard_Analysis-ExamplesXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-Ie1Z{׫}ҏX#]sڔA Vϻ89h42찮m#1XwY9-;#r?-׮k@9aߑF;C:dUܴ ܝgS /Ͱ H rV_㫇\Ip~2JZȼ.${Ļ^ [HZ.؍c.Z_}M4(u ;y7e-U b dYmOCjT~L3Z"pvANbsʮסt$`DIF-9;IM\z81%7zPt_C- 9}O&cO)flCX*zxǟ 1cԖ_ 9hK'ҸZxPmgtB_teև:6Y%B7V0}d%^C9eŠƽ?敔W߻þWrox,ZgR.4clRK]eN$w(9JקN "yQ ǿmʻ{pfGT_:uL yUЮ~ŽKbS:s{$>!iŢ"ޞ]ud2ۆ=Ξ+3Q]7ο؎3 ~8T)*ܻuʬ/ta"10ېI_ڽ,+%nhSQ"](F;rE?:ήw金3&- ׂk=LULêtHzlg.,^A`j&`kFX?>[(6%p y^eM[l7}Hp;WBR< n (σgpfOYRAC[@dd$)8[4ި tSAW ̃QK0@ /-b̉alsbwQ]+CxJϰ+Rce*<} ڼ0@gPw{‰5д=n؉",TVځ#OubC ?Y۪@i DΣQժTիt45;-mQ wp *Խ;iMf -;smeg?_z.K1ݝzi]Lȓ/0U(.8m_oo6aZ/9~[?=M!po4W젋$@k-0q 'fmv?ٜZ d@AE{vחh_O;ž%RnTqL_:"Yb('F#7#ֲhԂ3LY8&t߾Ap#cg0nʠACTRT8Flġܥ 2HJ'G0X-^/ZJ"W7#z;vDlCb]Rn4Nrr! 1ZLS* HOY)0 Ay| A?BnP70<O,a ֧br K^NWvzj& na)q (#&??M{=acd"pA6Ys,A! tCZPTXqЙ=eUO[<;V }dԜ.[ @kPBg afkI6®F4EaZ΃3&X;^*1*ْBxirNҶANSI?/XaE2oQG1BZ{o_|ӓ7 U?՜g( 0>|z;#/bГsiETwy'W8yvdS41eh) -c@zbީ(>oYI.Pֵ3: k4@sIt%D)E1Q3э)SB6mfDn1kd *R@囆ͿvF`귺A.rÌ'"vDŞT;įZVЙP;2+bޝ &V_ >X+a=! ־,87%LyO[tlElí8xkMJكs衿=H2өa/e[#`'pm_D%~+ϻrC7c:vpDyLCߊwCS-|j'gĬf3@l\+$'O><,_ s? Ga5VAEzU@z4v-F3+->'C)0d%I#QᑱgYZ7zXZִF! z]ŗXi%>-Au a>Q5UxG6Tio1"KZT7VDJfIipZi8虽Lp@K/j34"za iJ4~f ڲ֦#$.M ]I$i߁_}Dž۲agߴ4iӇفޱ8O%y  @5o/MrhdpiKBia&4o :{vĥO"cȏt4[+:8ptG΁h;Je:TثA b59SEh:j*JOnoDh˰J ɰ I Xhٻ@)A*ʒL}ztZ g9Qݵh-RwVe4ZbI݂*U`] $h@lٺ|3!|6iL72C=Q< 1,&{;'A0]lӑޏӆ-M2}jqA*18rGobJ`Kgs9O8`',3ȖM;P9h9S$H"[ ^[F