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  l$ ]]]ZF:threads=2elapsed=28.270cpu=46.572gc=6.272factor=1.657zXZִF! FG]ŗXf1-) enȈA XR„Drހ8zax6N=tt.dVT~YRAX,DjJ_!(.\gYZ7zXZִF! /]ŗXiɟ 1FE`u$d Ҟ|/K'iX(ԑ TAIɘŗp_cOɔmV\P G9:7j9>W~D:+;TaבAFHM6UU.56-PTO/4Ux .:{:t>41иsv[NH DԌߩ2bE R~r #+?: x8$5dך9,M|C[k:(rSߡC5Va@lg1!/'' ;yH3}(ՙ>|}ԃ{t#ҋ[K" ;ם<!9d9琱d9ekD0q?Oo7A\?Qo:@-whz:d!+i ~O@mgYZ7zXZִF! > ]ŗXi%9(R 0O!Q%Ú3X1$c+Yi| K9XQwD?">ubܐ5K/`͇ÔWb0D$j9u ~ǍlE[d;ڳf3Wga1,1ݺ?-]߹4uigy g Z3괅2 T 9֔TqV3\qBj@H aȇ_B gTqn^\Rӄ=0!V? _l?:RL!4,!`5n/㧾|5b0WPLFYܢ%u sOA B<pd2!߽-G5i'\^(!i,ؿ%;Wiū()aU=M멹NP)0]l]P];;O*.%ӲF-)uύ9@[*uN<.Q9-+G- ^qNAE,q@$P;8= %},z0o農zвAM̦`$}>m?zidU&íI՘PJ_x1 6^^O} N*+8\A$l`Os=)Wq`G !ɕ16E8z&fEš1SĊ!v$DuV<%p]s58m1_xYC<ƙh|шɬF5tvtX6ݣB%Nկ,2Wbh-_ (iĀRUͿ|-|zv:I^$Ao5jx߯lQлH3IUqPj6^Ix6+v(r^#8mq Цn wQ:j S+d8ǻj(9w^vhxQJ^Hɻ9:S;/uV J}¡j`;[ˀ9)rsx1M.0WŔ>/!0yC ł`{v{kJf''>j7 `EqVC ԍ6L~ЭH tٯlml֞<僜P$ޭk O#V M'n>;dyݳ9pҁKHc"gDIU[Iic$f ]roucGcg̉?vv6j 6_4s,a`V=6Cb&S 1TawH>eiMKTUKPsp]BdS"|9աE%T H6ujuĬ*T@<FRjyq7uC/9?~H,gv~[z9i1 fˡ閴sz2Ԩ< aЉNc ywjZ-vcCXa-D$1ru О颐)jf("F !BOgH,pdxd8Y}2P"R2r c(Vc1} ZI9 V OMcDVK4O-#](1Wlk\~p(tzyG-!"'gKJmw]͊#Ei0*jNr]N Ӻ,FO/ߖAqںpi߼B_`N" B Кwӽ'<̙V)c'XqggYZ91c60e9d5ce6983f593162b19aef056655b17b44f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09702c52886cabcc5c45cde277e6070ed95fa786e5  ZF