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  Y Y' d, cm]Flow_Networks:threads=2elapsed=59.348cpu=89.904gc=2.656factor=1.517zXZִF! +i]ŗXf1-/6vRZr~yյG!ޥo(?{~lLqB++Ϩu"{֩8 "v03%Ui,kѷR\^'P ‰K},8t{YIafX}Fe,M_$\KM܀6=Y8v1r,)RBa%+ԭ*8.sh[07 HK:A!FC:͆y7vՆW,@)/d}fܨBg.F$an[N^t RCȎS"Jm7FƓcp%dMeGwb\V 'uLiͽ8aA/9TFRLQJ$5W{d"=x5iA nO@͍*Tݤ`Il\sm͈ĊM?0u31(J%unVSmCN_i@s. +ѪlǭV,ufx}{Vk6+Sl2 S"6pj Wd&Ul,5?=&)IR7|>LeҟLGɊX~/R}lOFcgo]WmBqi7e-Y_! Nz)5%'EDn) U dfFx!FeN3M1. EpHK=$]g'Ua43˓n|g WFiAf밗eOŝ!YH6|ZW͚/=^ Ɋl'(bP-RPRY Hp9g5_nq66*Ǧ#J:A^gq:$xIEǿ %TSHzYosGK%~\` i}|_V;B8"0XV8ڇoVdjpu<9I).#w(' xSg(]2Oa_$GWy[9rq'+ۈ0hAX$TǪꏃiV  ' Flow_Networks<4nmq/W hj#L*aevƠk<ꫀt~\=S`;uZyM7 ?|e]B;摟@vMB9 W?{gYZ7zXZִF!  ]ŗXi%3dE\ZJ[tq}ɩP{jeXMCbTZ\Na,{T=0cEpYb)vk oӃ(~4,O&(|UYfћxLzl665j5#Pz.rfTQ{~7r8ׂei= ɯAM7ewR<,"X&-T4y? %) Bn@R*+pפ!SA}7ȗ!IiOD{:!WtE9u$Cd !E:̄&w\jDwO(`>0I= 02PiDҒL&HUXK0mO/tA׽ hֵOc;pu8&>"oBM.1~F7c6vhQ$tTE1tmAU$E[r wIa8ťI`=1s*D<,0z*~ut/?GVЬ gm;,P*\\:5؁G@Ѯ^x>.~{f3;ԝ/ЗC97&3COC=Y96Tt'6e:DdA]ڐp@J @<|127vPsX Ϝڮqv]~(wG<)$?yN,al{{l_2ئ }fi=c/Ǟ7_@$XBiX^g $vt,A_̪l|y;0{xJg}cw%4f |5F@&kbFu(u e8%UON9*a4PF,8rKnfg>|}yËՠUuݦXf>`UyexY^qpu {Dbӯt#Oc7u|HŤVg}CCIhMwU$8vG6grHhɞbj2,Aeo.tc=.{x 21`+@k9Hdm$"!(YH"Pw1GlRWy2q(xz 4׼l!Lrs*CAne 9?hTRuj_>⍧_gtIg2vU1:OClkЭdž a<^!QL3 W¹om$fV %YQ%M˶ ^c7vwnȐKb+E󱋪 FMrz0}`3JyGP3NMG YӦDk˞[};^Kc^,b|?Cل0L`uϥm~VEwnd>i^O0GI 0ͤ]¹yRgYZ0300788a8f3671fad1e37a88053a0bcc0c84d6f8 1ccd65008b8720a6d7624ca325233036e135efe6 391ef19fe6c4f81911efa0563f17876236a3c4a5 4668112761fa2b45a2a5f500c082d1c18ab3e405 659de109d93365202655115e3694614449557a2d 76ba6798166757837bd7c22eee5a5f8495e29b1e 9eb47e0b06cff711fa2d7c2a17a8593c8eeb3935 a15e4f76da4bc1b8f2d33eca6c93089d515ec5e8 c3e465a9c10450812010b0f875e43c1004a9fca7 ce84d976f9a6c12985f01f30bfd2605b7a3c30a2 d6cb3d9c833b073aeb18ac49304badf272c1c0f4 deed226923292f3f570122b1733511c6138e6552728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 e145a2a61c9f22d2d8d49830d9d1d1f46fdff629 94fd1435f639b544771027325a8b8d0c00b7276a ac734a2a233094d5e3624677f66c580e39e3af10 7b5957544b567c40f941505abdb90e0c04e56c8d 78821ca0b20ee9d4c4aa9f70dadbe72e93ba5f48 879f7a72ba7740d53bdd8efdd3b1aaa102900a1d 3a70bafe00c5e65f0b6166d11bc786f1b6e82619ef6decd9a5b2f59459c120315b94f2ea3d16374d