SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 tt % t ]% Stern_Brocot:threads=2elapsed=40.319cpu=61.900gc=4.060factor=1.547zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMjiL}A ?Lx@2rN(5 ұ;lĹy@ɤd]b !ZFX@kۡ]pLbnO֧K |8wH2uk0w@g )ע EE .ajE#쾵DH qPjz r̅dkĻYRɇ߳i&%K 3 ʄ[*Yd,Ahe$ȖNP;. DP]']ce4VAVw~6ϚfF X;bxA8xz5Ҩӭ*ۋ+?c(mݩmf'No*N_ gӷ(06sX1,_UmdSQ21W0Tw9+D8pPD xu}K@& PR`{b-2ڽ箒I9}Fͣ^cKc؁7'aO#ć$ yoʘ)z-%|8٥dDb $ki?͍<:EšgBet%Z]ZTPG(ҙY80:2׭gz'e!aA.W߹QKRsJxfu[_jK(]}×Y _0aEлB? saL)Ec5Tb. u1 uѮGBR5i1j&әc],l|VX.k4T)٠!;=9OI%P,@1cx`Glh< D&YuT.V7ߞ)Hwa@ο[BoA9 5 ъX@4R<ʅRFHZ2T{,1g%Hl'j5 S1p/6 ! r="!u=.򬗚.ڙF6 y;L:$"qW*frmX⢉,h^?/POYP_;ZhN|e> ΐ$|H6{J aV .Mn tZ䨜CgPt)H%=sѷ*&_  &eA2Gb[ 9ḰFD"Samc0JOzS!-0.%i1ݽZ )X}lt2$}y% P~$6~c{6/L$쐟4ٙ"PZu鈧|ʃ M)K;G-vM4Zws%5 љP{%`beϬ Agzլ=`2.bITUNJLN-o \e@?_IE@W Nij, )yC%K.1cY{Rצ&)Li?q?𯬴fa~L^fȦ>P&<$L&^}k#1&>7a&>7 ةN~}ģLg:h!_,vB\DN-R+ٌ6. ;;{E$?XݐHԀf5jR>P5}e* {Ђ@8iÝԶi: /iuRVLn 6ar{ʛL, mr<`ćeOqGrIMjV2[ow5'L0oÞ5/;#Yf$aD"K*WԦj=o>e13OՈ8XR8=RypYGm -< 5PGa?Er5S)k>L$gز*>I0l} lKK0LF')h9N -tC35f:e&n6>n$r]B#(p ݜה8NC9{ ^J! !^>WFyw1ݜ pE ԁYe=zG> D#!y%N~&ۮaS_^xΤ+$2~AĀ,oTqYbI꿈KR_Qz޻%El>2Z3ȃ} ʪTv8hѷG}:]7@m␾PgMj ܧx&@0) N[f@nq@ᇣt1>Z_9AR쫗aNW b?c9x9r@jjWťdK/Y5>s/cJ 8R@F.f`%J*7 4@Ӣ޿ m/|h_gYZ74620ef4ea2a2dcba921b2a357bb0b39bea9f8f4620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 223999b3718fa9c4a49cbc7261f4cb6ae6361149 cf4cd8bff22bd4bb9c82a246bc88d699695ee1d8 1832b9d71af07ffb6c5ba0c680c70c826667602a % Stern_Brocot