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 ;;B= D ]/ Diophantine_Eqns_Lin_Hom:threads=2elapsed=27.139cpu=47.364gc=0.988factor=1.757zXZִF! /]ŗXf1-/6vRZ޶>_GL9s՝TaW50sɽ8MsLQRt,m.R[-}Jr5>`[DlPVy e&߉Q~٦ݱ5שf\Zwp:c8 N1@9ѕ\=De J{_r=C,sׄ7a| @=ا<#DbKUhKb?be̓:S.Re AE^h_dEô(h%tvx ԡ^YѬ7 'd܄/$ ~e|Q…7IyVKNӗp(j % H l{1 2veWT jLw""J*g!zJgHKica{,N+KFQz+h&$Nw 9=(*,n |"Lj&ݕtYIm`;u?lga 26 aI@?[pXHÿެdnR2Ҝz_6k+pK^ͅ R\&{0D]UC,@ٞM{082Cd8sz]lA||wI3Ym)w&ѓz~'W&'h.%94'媄y*#.lěsgIXQ'llp1U%yUshDq] >\.nP ;ДN q"m LpqL^_FgYZ7zXZִF! $]ŗXiɟR .t[dw%d^ܸEH4!LPV` Wg{rl`x |4fiD:&@}}K?e,Nm-"c fG:C,)ym"bݼUC P`rEԭo]0uHZ]Z䝦Y]4.t_Cu,cCvc5ZXsT|`gYZ7zXZִF! \]ŗXi%9(SNKֺtx'a+~C%fZG᫢jOq%cͯ=E8֙C2r}D-pjWުm_sNGc]6IPa}-Hwo R Zsz{1{cD) C䭲,2I8tcm} ;,kxGRBX,(hHP[xH$- U2(eksQFFצ:)T=|:w=8\آ7?6&Nr\>]RwJk\>i%_zi K0-gs[b{a@э"k])|b{1ו=뒯nqS~|52OܠЮV[tI9 3LY˜[d>Ϸ9ԟPH,uW"0Q MtRJj:uBMOE5]x!P}5| &RWI9C#>r @ >먘ߐ+ex tn\ @qE8 L#t?,q>xۧa_ 6w3-طЙ8uW`ŋvjyJObOx J;Y s㕓 |fd1PmR(}[OM)h2-҅gڿR4I_x͵N?!08{Sf J(z2f,w$\̈sXJƳ> ŝTvI,E1bzz 5Is@cZIؓ);nϷt,6.@yUTO2 r%'#۔߱nD! A0VMEb|jkQ =2)7IDȹ9-u<0EXOO1Y5|%K/<3ʯW:m:S}:AhPڱl~*RON_[9NwTOSgpyw׀b3>#T ',gVw52+$?QqPlV#'F;T.,Ctc!m:lO VHW&@iV87*^Blqf,9R~m?_ wӹs~Κf`fǢBҦ3D$ˆU7.f84$[J9M/m / r43 JnA}ZL!V5