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 ,\  HOL-Nonstandard_Analysis-Examples:threads=6elapsed=20.684cpu=50.912gc=1.836factor=2.467zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I~:Ù#@ VjMU+]yDD  ;V4vq"}j:zYLbĒ1zKfst^ 0-J 9M9kJ|QYYwuJvh -}%;M#k/15/BW{v.ʇG9UǫZګoW>uX湯vH?lVw(| >/2=҂O5ҷ",Q9?+[Y@ dlHO;B%҈e'!7=ߕR T3[j7(yg"6_k;l{W;n*,&*gpa/{>_陊!ǫÑsIȧ$9Jfq5[ׇpDV,-3lW_Œ<^> ܘ1)Ӑ W}wQξ69ו= R+Xߧ!Yݨ:3Ҟ$1GJΙGԋp%K19+~2*8SА,DɌqRk!XZ=J\!V |^&E% mnh/d*nEź>Q )^v"ն椋ݷmuud8V]49q#_= t~=(G9Gsiq In<A@qMlUd.z:lmg#._,5LuTF hKwQԿoE[V3LʀاяFHYBJYXڬ7Cz9 cD;oKMUy#iK&w)H{KYѮocvcbCb?/jĹ-T{fRS_c >M!<;*Y)4DRbfw(s}9˨ hwc<5,eMl8'9GѦ}Af^ #Q7\n+ L@{kHl{PD=UZN95xƮF{"ݷD`5xw!F~FTâdo$rXt\<4`I/|N .fO]Y %t0Ո[3I`TC<#g)Xu>[(Q}:M6?; d@$ KEwhA=0nևH+?P'w|;lſ.Jv=P/]oBhZ#ŒqCk.] 8Q3V f׋ Fkw6r$Ǟ;v:`+̥N3"bznWȏNʡ IN.sŌq̦~$𿈾>`IH=+0UŽbhDG;VHv7ȕ;p_a~-s/d%1 džŹUS2ZJ zxlr 󋏘;23)/sG[>8A&e߂mo):ݱ08 &`2۩f'y8I#u+_#|g:DB=Om!,jُ]zi0P3تkT?//~\ەOM@^vG~.5j[!>k[ G*ϐnD"@8Q隷׶Lg^Y>qJF珀[!åm2} { Ia*6/:/m_hUaUA/Ɔ܋ oy$HV? ㎶'uKp;%B XގIpwVlҿ!{#=VH{*BN>Na%"}PU%}yiĵ!3m 5f4O` |Ǹ./Y0*kiPƛԡW'S$jdDVďVfFlY,Zwܧo];tJ`n K ?3%ܰ[o+rf*]e.1Yɜ)|`m+ӹm_5^/VU61WBJCKux ۴{` @/WHUVM1=~7F~ʔ{wSɼ0tb1e/jr]#y4fݘ $8^E6J1@?iu Z@u'"FT\;++b$'\mqb(3;\F4{-xL&37`Ix|@>NgSǒ(6Agy 'S%nKn b)"HS*ebJsoRcfy$z^?^z4c]ww<ڄtUZ!ypF\+0ITe̿dg!~|& #o1 /G?qS:/̻FBKo׸ɘ|Fh+bZ2 8aflb%XVj,su0SIKOA24DB}L?6闬*suӰ4`'O%-0E`WtJ4@&Qw$4I?|^i`vZcrhފ2vKO^D=|cŅy̛J;՘إ/ Ek}lz&ٛer5qI19n}C&;VZ߼`6- ne#,hU:@:њ,i;nw,ik$1Mx4 ),?U-'00@ဉЯ/0ߖϱmI n<=J\g/ݡfc^xSXἕJ \AgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 15d499d9d53901448c343121b1214f2252f3f203 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 74c7b3b9fc805b37404841e74148b8988e671d65 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 9fdd6598fd9cdae3d4d6db0633a3b26edf735651 a6d881014016ac510413e96c94577bf126ea335f b13dd8b0a61ff4eeb472eb64955354eb9fe30f3b ba3b3a5730257d7f4916bd70913829a914ccdf7acb68bbecb0ed1fd634e66b332c9022b3f55bd474 a756d93ac176ab627fe515dc5c3d2087811b9820 a5bff093910d4b2f69a699630b6b1d1088ec40c2