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  q%l< ]S MSO_Examples:threads=2elapsed=79.287cpu=130.352gc=4.596factor=1.647zXZִF! -]ŗXf1-/6vR[UWdT-]!"C+|1jW.M#OOBRyc()cnwdU g1Uad~y\tȌ= ^ L_O8N`К6`H΋<|j?=’zNovƑ"+D1_\ӫ ӷ[ryhZMUcTKm)zFEAU>$1 &{ycNIw}9 gNT"kiMd5l8kS6iS &hb^^+ }gYZ7zXZִF! V]ŗXiɟk {MRf0*33 e5g(@gB̠pN%Az:Bǻ&FNQrgYZ7zXZִF! % MSO_Examples mN]ŗXi%6SwU7}uBwA`K\HA#)14ͅtUuw3f\ sH:-f^|nSQEU4 i0}+~vCSC &/7?{%'pf:'\5FɖIV2ED]gp߷9A@ӞVP{6i,0e+״"_m/8dm ױ:B- $)KTH12vͧ6o|n/kc"O8}' n*\yEZ]ӟ^fzN_E>rIg{ץ_I1/=QAP`&UС$XO]̅[ӝH8)ZC@""eՎtHŵ 0{9a~$OÝ1n^ CLלZxkZ|깉)hT}Y] mӖ qt\dCUG+ {}u9\"_4Й<=A|( a=#&<*R~ִjd刏MKX %$<ЌW8 nab 鿛1NjH }AIrB p~*,u=EvG'Xw7.ML7ʣM̩$sFʂtLQyyٳD$v.P1*taz6/8R k#(I:e9;V&v7,{ES3zúfm rJ7T?sk_yt ֧/W!tK~ 9/&t2iL %%![G_oc(.-Datj蘣hr l@;0q*+:M##Q9a}̅$FBog glk ^X/vtsz*2*҄1DsY_s2^Qu8/?AfvGz<ծxzόRPCisf:JktW•O7ʑjZ=-9؃Q#i⡽7v~/INsK$ RiݛPYKKB =LY4YH6n4Ymׇ=鯡ȖgRuPVJ)3uh0^.;# fIS$o|p[P߭Eq)NѕFƥ{jܩE«jR{^1QedQ aOkZ4}I3 w Z-Cܒҋ](3%a#qm]%BʃU!!%[0=^4 tNFk%7MvkH'^Ŋ虄bJrW.]ib%!mƏy^@VC|WsE[|I8 OJc*_PH? Ltɂ`#f_3nG̣^I]ũѼC řE _bZŶ3N9Ez_+pALX[AE(pÚaZY'3~-4Ë.|gM[/W Oc{F͓:Õ!`k%"8aLZǙbcv%56Z0Ͱ>2c0(?lEBj#{+ NHe\53izyR lƚ]=}mdR&`\nǧY10O1xaja);vso`~ni̜A6@6tGDORͭejT>opse0}DvUs~$fdr-Wyo4@ Saaj}`θmZ?Ц6NY+YO&"iQd*/#q."C?lҨq' .y>:{7X޹lдPLK))l]ls)IEr>foV呵q! Fy]ԯ!a꟪ _ŏBF+0^og2]G|Z(|3T'%IKCQwkWqaC,S;в.*Q=|=}2