SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   n' dD ]m]Flow_Networks:threads=2elapsed=58.160cpu=83.604gc=3.288factor=1.447zXZִF! *E]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻLa}l `Wng㷝m|) m8T!ַ>_?&]PD K:Zʢu@:A\ك=|w9K :cj:|^ V&>S2VCfXz7j_iTkzTh{Vixϛ7G pPWýNv ʖc?{-tȗh {xxx3:t0֓X%=O-D7[~3"X7ՐLX*lܱ((#=_ Gb]O#=1?k ڤ!puޡOl=QywVXG&7fQ Wrj esӅ[1!%8eJPalX_k&pJ #6aAXۊkj(᧞OGn~akM+KFa|^W.AES F ںJӍdT((cK ' Flow_Networks  p a1|yj!IT` -c*@|0OKj1ΓHW5*EsMbz@ eM(| 5:|/{}.!0sЈ)m5jz..ȓȟ*e*)4Rduf\ؗUŢV[Keelިig@TRgYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? o{) 0L̨˘l֪Gō¡])!H8&|@!6e0 3gC&e`)1w2 j y*7/m}I8sg%sYAX9*>nҴ״tl%"CM6fO DRFK+5ەF {{i𵄹`mgYZ7zXZִF! !k ]ŗXi%>g(=vo pv}j=:#,3`RQ=D,>3M@mcK~Q" /fZt1ydɗ&^lઆL~6QECIVA:DO!9>/+e:A6|>":( ǔyl9y3sĞڎ^>0I>3ZJh ͻ?q<6qfGFvm.:J4Kٳ|.TqzM/ϟ+@y!dijs1}c_rP$- .[}Ք.qczj >]:5賩_%Y š Ts->kvCV*>ѦJa74h &v1 nfjyо@iɷ$ZF^3Yh|#^?V`녻h⸅0%a~;lW@En̞ӯ6Zv;LyA4Mc$&{0M:Fo; ~wR "8͟!mZA03hȬ\0Wnu}0 96d;6/HaW5g%Lt*? WF!lLVsm͒;fye--ѱ4;R h])Ϻ9GC.Y&\ Э}{;a ~jA6 9dSbSz#ln(KĐJeXJ[/`wZ9k{ %}G| =i8fg^ArdX@ `#H8e ;L"?$ᣞS) )w†FkɆNxFb@*.-n}ɹ _P>ʢ|j Gs}r+rkAq|Cp^J\²W&MLwZh1H`t kwwNdCz݈r-A v WVLvЯLYv'Hx{WI(99I)x7 0a?"("V($d'Crݥ/=?T"Ϥ7C7޵_nG :?9Zەk.Ƚ sLEUrq!ɂ󐭝dL-;҈UM?n.weCL'R ; l/|C&C^ԩ5 Ǐ+1OC^dR@fz/S7u2Ud{rZeS#h*[7~9RrPa1p|ВgOldek_u 4e^FHwQB ǩo5wezwbɘGHLQhyUw $B0[>4E V#RQcF?f|H@BefLUr$(ܛ+Ip4:@4=4 F7Lq" ޴0.g>vbD=ЕWƵq|*2X$o? }前n֥[t}Qr׃Ŧ%UC`֌E7l2D*%:'e,P _r q IdQOKY9ۃ?_!KX8ݝܩafAlmQ`Ov?I9gD5_hZDsgYZed425ed9e5139776157ef14c22a6e5fee86b1651767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 9bb744655530c7dac052b5a52b1435eefa0fe0a3 2091c877e07d76f0f3d31839cb52e618b255fe62 39ffbac790bb4e8e88d027df98cd6cfb5dfb48e3 beb6e0ff1c642d493603b142f4fc2a263573f2c5 0ccccece66ec82a68529f39d8c790749376f6489 4a687da9c9dd6856fa402d3e13bfc2540e17f5dc 584b5ffd0c83e0559e4b612022d2ccc5d2fdc0913a16890936583833b53f72309aa516cb60638572