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 f' \T ]m]Flow_Networks:threads=2elapsed=53.306cpu=69.812gc=2.732factor=1.317zXZִF! #]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0CWz'Ӏy?KgkacJܲv<zteMGFqޖK,#t,Ljsa]<\k}u6ψ DV)o7Ӏ(D< ʫZ׻?jĖ5ل3p:u @ 2#IG,qIcAJ45<jX9܍B4y}q&z,ڰ_FDThy^Tp[mԣH?!Fw7s"#W ' Flow_Networks{g }$Pbz^+xތnL~HtP.G>5o~dyVx?c ۶mO[Ude%c}P#l.vXȗvz4F aQ/#1Fͱ"llZG:0cb5C e⪑0Π'\0@.Oj8 &UJ!&c97IqzYG[)xgYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? \X-v T mU'( l%M" <|Sy}dKlئkckL-!N׈\iBQ4\_"D1u On}:,Fm 68A7uGfkZ f3WoBvGܥZ CӕqLYHvhKq>b0gYZ7zXZִF! 7 d]ŗXi%ru sRڍ>C7Q~S:0x8ʟ3FjWpYK]Wr!q}0Ri4PYSLғNtiXEi O>oXU .C> avc=Jhmv+9ت5]͗_/P1uMeG=UЕ(3<@ƱfHR{eUY}{R4~hئtq^ ǻ!+N^`+◖f223M>`|<)w-uʋHT(<A_I5?C֨1PD4Eiqw]է -uc:c :46}ϝ wƢUS^3ҧ&An$GؾBOB;Rҹ2r3*?N)n'ٷ?GܿWFb`Gh͘7|,&A^-c9:Z$ x)?Q@Qk䊈hT%O=W&r (IpSkUTgp d&sC#;`OX_H%~kMy&*uIMlʒn!掍TGURXв{fbٚ^}(3E} 4 Y6?5.*cmR*$V$ӣmZj9Qh MY|$~\TBMa{}O'o$M MW(.fQ-fYT R(.lY^:} ڍTI+jp̧p1HMe2aa *=ϲJ6h6\VqБ? 1Jh] |LQѴ謽P#t*UŐC܌ wb^|D>H>S7uk'L]ȗ2HWfZǠq!hA.0}\wt3r3qē ˟1!YHO/lJ et**M Ȕ㬡Yn8m~crdGց~ #Fclg6r9m^õ<3>p婮"w)X4XILE|JfZd!?̠ T\ƑGI_(`!0$lLw7de[;odNjƾ3\@LfQka~ֆL}&2tn$5@Ώ!D߷IV7|$B:x?: Y IK"oF*=ԈXAN7C"'ippqa,vFiM><\?pcGCmO5Ԙ wNk"g~V QYɀvC/Ko',KH>>vC ea}3yrώ3<1$F$ N+V mnрH~rB( g֏e4`<}?(oŨF6&T:HB!0Tz9H%(eDtڨۿw|' UT뀺ܬ[{~so^2?s9(i?%+l$h\7C*4 {jqcdtWCC"O8#!ݛ.t! Ś yG"ʾѪV#p"VY>rZ~e1@C,@"W^@tgff}*lTj؍`)#A/k0c f/>Z`,EW/Rrx*-35tv@$?$o,6~¯T 6ghݮ Xfn(#)3RekR MΏ$ U.@ ]SدSS=Zk:ս25iӹ61^4x>9)$XbL!sEa#۰^œ$2w l3eoBF@-DZ>k_p 5V(hCEp ]V1f