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.133cpu=31.940gc=1.392factor=1.987zXZִF! o]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S&"QYC~Qrz3ҿEl ۗT /"G3<AJvEOU=s7:!Csgs+!Z{3_`ˤ^E؉AK G J+ ΂as dSc/s&Vцj?Nϟ`#͹t$3!AM~UbYvu̬K*:vqey面o}F K(aCNXc(ynWlBkbu]ҒO}JB_Mu, `lh.SG 73@:`H_(^S)$W~֚PLz3a>x94*?DvNr0J}'HeX uY9:Z2u_f3s- լ>&40GFg@6lŪnޒ&*^RURxw֒H8KɎHQe;\vQ)g\j+Y<*l;@︤,9zEuտ?X A = HOL-Nonstandard_AnalysisoL^Ryus.6{9j0yNrloƂ > #5wJsA40Lr 2۞|m~̀mCd Zi>32,gj| wAq=<=|" ؗN6A=r0o0u0_82Pk0 +PNՌ`T0Yvd-e}+2vT|`SvR[ ̚xDYaoܐ}u>kǧ1\4:*J!G bPy P,J!k\XLs[b6h:L_e%LU1 )yeD%"n|ON*7G͆qĂoqeh3Wی)h}5 ՍPL.K]P}/FY윥?4'?@z] ~P"|C!0@,7w Y&(mhAc>~B(E2eUиD^ȷ1m%JqIso­v \` qwEMT]?VUDH Wl[r4dfpG7mlF\[b:V-C,yHxOA,w!j4-S[iC'!%%})m\GP;\Ck<(Bz($waʿd,P{JIM7^+nׅ-`&tUA,۽i@g1f>L|3$NbBKx0.k?ЋDcljd g!#c:3h:/(e\;DC36JoG~|*Lb̀}R<)_qJEơ"iqmPwOYb4$eF}ψ)-lyDfes˦j(c<>b y YjYK dW +a<:_VX"K_GM T0bGhZY\*&HhAeo ǀA(UlWWi6g>G9(;.`$;Y+&./0X51ytB&K txæ }G/Mѥ ҁ搁&+n80^iME :p!RN6Izʝ4!qpz%߱gYZ7zXZִF! ` ]ŗXi%B1{FKSyƄfG xd^^޸C4)h!PA)[GZ_WS-6̝[A&`\)ZhK c9 .}ד#Ԍ2XY6i u>{r6A!;o]ʨBq'cF"ft`9@34 s\Alב38zxdĭ3ff I>m/PւY2:(i=E^plQ&ҭcӕlXqkmВ<&3,. 9HA}(;XĽ#RLnF2lAU鵨ތW6ʐ{xD:Cjb&PBFx]>Iz[xes;e [bi+CGSд^ӬW(sb/:aǿJ;< RuZ2Km9~׍r݌ tyt(Uo #:̎jwK Ց'Ueo9%|p/}PJ0Qe1Bبi 'kpyjuPtIϺI{ŻWZpc+* ` bld&;UHLS\BM9C|<+`ڰ9fgo *oz0"{j|\9lyZI3`