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   `= 4d iS]HOL-Nonstandard_Analysis:threads=6elapsed=10.754cpu=29.124gc=0.996factor=2.717zXZִF! s]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6b_pX<,!PG#%%W:q%1=|UKZy삆jXqWi_)Z'`LM|aJFe 1Cu-#ݼQlFL83`:Rp9gVq{ğ13}2H=|It=z-rHILıBcnG{8]%,T(tsQɀ߲H=;EjZjSБcq1gU|Kۓh 9 = HOL-Nonstandard_AnalysisP^2 CѹAYX!xM|X;5mK!ѐ-yWc߾ѺZ+~,Z,Cz9~Zwmv:㗨-0 WYAHm4 at$p)oFFVMWe~~2+\O; < o,N9m]G{}Oxf+/H3:.ydǏr}_EeT lYo 6Pi^ 0w (Lb̓$qWR,duݬkM Ze֟{8ӱϢ;ÄCR~BRTBAGy_M_H N`I"~M MH>Zn&`g&ÕKQC ,o\^RPIU7N)wZ ߙNU^? b`RQ3.cWGj#e=+O-'CT5IKt%q<^Z%&IdYtR5ۀrE}G(""KH8 :Oy졅q5x[9"tFX[z-0@=߾}.!g>Zbl(bR?KQ~ռ4] ¶5&,~$U \IdL5>V5NO(r! m+ΰQa4 U0"t3$b/?:?h^`9, lZw=ff2r}E!Oy)c J 'MxA)~eɈzMwǍb&d87Vlr41hč߿M?P>N2VEb%>x59 :NUadA`ɉ$bMRPiE]; M?M ǯ=_DӈHM!P/0L+uF4q?+:=UcП$:eJmuF>KZҚvw#?M{ToM})t=<08*m% krN (9(jٝTjd#ֳK`aX'ut _uAa gd-FO]xmݙ*$HLK=,qƐ`ǥ7ϿKb)q xjZ5GICoQLӛZ _'? GnN*~paR m J5ⶑD˼6 s?VHD?T &"Jm8gEm\ڸfT]˄ZO% MF1.'YN汱gYZ7zXZִF! 3]ŗXi%Nv1ڹN:xMS@6/3%D,s(^!R!~Ya; I)fm%F`G> x:xI(󅵷EYIL9MC[N\|cpE/JEK.;K-S)Ѳmlc5.l$gdg#E7<0gq۞rhN3'0V &__;8 ve>HKr,p4P!ALDj YpR)1/?nxCŦ0x$# 5FSODE[idx и[qO)Bhmy%hԉW =T<Յ@UK[}!*ꨉWİ:$7DKHgidRn_UhzEΚ1~5o譢D\s]x$r7> )5H^޿QqYS.U"/԰k3uLd1 %bZʙ{$t ѐjv'eDc%[S" {GIj(S |:BpN)PL1xo$]G=BZ**z5!*ݏPEWK'wxK.kd?dY$ 6,X<=E!qwyl­Qqʎ!<&D>@U^pPE7%b'=XLdtS|6`CGmWj*eMDmm^뺠Dzȧ{fyI /L