SQLite format 3@ .  YYQ77Atableisabelle_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, "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   ]3 d w/ IEEE_Floating_Point:threads=2elapsed=20.757cpu=33.436gc=0.528factor=1.617zXZִF! M))]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7v:LZD45.KV+ \|.fJ7Bi^}ڷ3Z`clkNT-+Q(f!'BU$F!h5M iȃTph[RztٴL!-~z΢dѿx‘2-NҢ vxR_ =i1^e8c|j 4t0!W$WPlyVϧ]OJ{]ǸoIJyhP@ ~N8jmzSb")\B#(R602獃n PEL/h K0':0L?#Sc|M}܏LF Ϝnᄫ8TV<24O9Yryp;T됩\@.M%x⃈ s /+%ج;13uvgP@_SCZSj KVm&v \ٌ"EaS-æ_\JiD QnE3G۳YZՑ!Cc4YR #aR[V9~FiO{i{PH @KD;MV͵QN<)dH oۑ}9@Qjr%4|5,fxEv Vo[и\G.:wϖ_d(QSKs`9)i 5WFl:vmVN7Z.ѩ0>@ʜ.,`dO>A\O@ ^ImMU\t+Ϧ^dÝjYBy7@DOδ@OmG8봗: ~#~,x@5ǜmxh8-/Dho&^nCf|BO->jXab~e5h|*D)TZJ]0\i dιvOW+7jdvV|Ue3kC3<V2](M &̄ӗP,1]_lkQx{z&pUԆQytojCzSrqäNaaxh lH"# ֮CHӪ,q= *3Ff g4'}= H"IPfzSl-&F{q_ }gYZ7zXZִF! i]ŗXi%!]4|쉕^j鿩wRÂ"/oE%dp554%BPn9~ucxjLx_UDVlH*2u @VCÚA]jp Km\ ^HC35Zuexzhd/prTyp3-;DMDآY]Xy3BFP݄n7h(3]Y_$r9IUаdfbm f8X30DŽ.$!"Rēb/!^F̂e:b|Tڭ^l\RQ!c-$%{dɭ+ENo~z9/JITA=7܃VK~~pmqz" Olugq; ,;L/X=dC7<7rxkzd9#錂jz屵'MTq3e8MJ)~JJmәeGB>EbS}hқ>&EjM~)əVsj{dZԒGpb%5o3̇|)Hkό/ca[X@%ìy aфRHG2J+mNZ .^"i`hi^N.ڬGԥ˦~! CN s%vl=b&S\!~ol^gq٢Aŏύ=S%;d qQ]gNI"S d\;tV&پQò u8t*sKƢ ۖl %gYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b52969fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 3 IEEE_Floating_Point