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   d' $| cm]Flow_Networks:threads=2elapsed=55.653cpu=84.904gc=2.632factor=1.537zXZִF! )J]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0׶R,jSPzH~_O'OA3#'V֫]6F"J{k?ԩ o:Ur}w^=;팠Ɖ?R>s=Bf :/0ϬV=ij9{QMgW2/7{!ɓzkPt֎,\&&[X>iaSDeEù F 6=ѨбXpb:n;HGsAWjVf86 ?1]cPCz.b!cx8o9+%Ǖ\j"E҂[^Rc0tdzM/>U%`],0UIeL&{$cj#Hbw*BoeuTH\1˩:7#0$9PDV50$L i5N@Ӳ| Tn ɯڻ`p>ˤ 6ݰ]$*ORxLx%oƃ4z % I[ɓ߾o8@b Jx=01{ը:z8qϗ+WU:YJ܉Q/ Y=8s{ze OEuo*4Xgp" w0IOM ஏ.qcj((UEQŽulB`-b;{=cp?$TH`hj2ɟX,lFVI,K-f)=2vHM;o] ookN#]/4v="kKcP=K9K03`;6Y=Gqb7}lVR}p!U&Rd0m!DVEWmKsxkor#h@΢Мr;n | T$t?MDpA ()t"PG޻`^[ EH.P^Δ)Q$å3& #g鯜"DR󮣻%淅K ƿs6u:Þ-N"\5K>jpl6 20Q`#R:gfy-W,Qufw[ (h`YARa:i$-s>k(V |>SeS?جQy !ҌPyiwai±ע@< 1s)@iħR?^}[ 9n`=XʃE4WڛzKv%sp'2j Gt[tl=:8<[ԉf)1AmIx1(^1b4q(ZPLMiю{*d&cYzRLp$mѪK?e­^ů[v=NlK7Bg;i%p8=~*||y[,v8:Z/V! dTr f{EԖprd޿څdu,4j0rTq*VL迢PlzBnr#7Sh=u>ѯ16*mkJwsCp2d#a|b]wٰz_VM-&,ȖՄJwqۑYVNzC&2C}"*E~椰^12 !Y%eCթv_s63p9ઞ7wTaSO$&Nog;AP!nfVkEc!+1TFb_D]Cv[]UDdUXT5i4 <0sRvљ. s|neEudkk6ɧК;/鑨&~yt"?):96n AD0SJ zj`/čQ;*VlfʪfH%5#ԝYa^Np8䞰(-y}%a}؂SSvdR\NPDr{bYf_n;Cn-7xп sb4glW4jJ Alb/=wC-nCa=k-j95xϛIkZ\Kׅ10؎ɽGqD $\nכ8ZBZfA.} ne3:`ڢ܇BKP.7c L0Fg(D30VEqĞRc:7Ж 0\0@bƋajەW- +da77>YC̒7HtBᡚ,50-Ȫs` ljkȹgYZ391ef19fe6c4f81911efa0563f17876236a3c4a5 4668112761fa2b45a2a5f500c082d1c18ab3e405 659de109d93365202655115e3694614449557a2d 76ba6798166757837bd7c22eee5a5f8495e29b1e 9eb47e0b06cff711fa2d7c2a17a8593c8eeb3935 a15e4f76da4bc1b8f2d33eca6c93089d515ec5e8 c285ab9a0736e5594a431a2c08b4af0a351cad18 c3506e8b98b808fb070215c784f8cf1282b55ead c3e465a9c10450812010b0f875e43c1004a9fca7 ce84d976f9a6c12985f01f30bfd2605b7a3c30a2 d6cb3d9c833b073aeb18ac49304badf272c1c0f4 deed226923292f3f570122b1733511c6138e6552238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 0ce1c923844ebbe40b08861fb037d19007421337 409d2ec7fdfff483b241097706e2e941d1c9af43 54b36f44b82f7e6456cbb9fe4a132ffd157d1117 dbf0ccd83e99d604beea234c92694afb2e0d2e91 bed37a6c6bdb3a8c0033c625aedc13d797af3484 4c000d24f96b3221e989c9f68e86e94d8aa29a1e 6fa40de08faa944d650521b73a83989ac4091aee104008e20bca06c4eca1088f8849107753d52799