SQLite format 3 @ ( .C B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info '%x,T ]m Prpu_Maxflow:threads=4elapsed=228.644cpu=382.660gc=9.6207zXZ ִF ! q] ŗXiɟ Q C)8$Q̉]'iU-*tV#Jg `;kqM(EPnXBۋr sR"QƏS3NԠ\nQ+ݲI! tGmױO`\h FWyHyGGiB.8k̒u3 D\/.[- m_P}L{5qY 9V}2 {8BI`UY0IXYسq:;>=M",*G>:\n/7\oI+@x, `\i>_.\cJE&w`6畅̟aB[t]Tbܮ_Ľ39~H+ۄbC[du/#`"9Rm G-uNJ[~w$ӃnX^>I+rd|?AkmNrz)w@5W3߀&tA 0u=r`m#ryJASEmEPW~lCa.9blN(Ƶ`\s{*o 636<;"L,^W]]u/w2 TQ`*Uul_g&;QjiiB[hiUڲdO'G_ /3+/껯 $ % Prpu_Maxflow : S %SS |Prpu_MaxflowPrpu_Maxflow.Fifo_Push_Relabel_Impldocument/Fifo_Push_Relabel_Impl.tex7zXZ ִF ! F7] A-MՋhvG"uIBm5k9;*ͅ~DđL3\1EEIʺCDxY;kuBTiʎƷГ +uԪԱ{Zy000pr^4䦘`ꚻvV&j sRq 7cH}k8Y$jȆNٲj,n. t~h 2C@;i&lɞQl[&獜A8:< ~Dg-#O[L7ER=y:|)C"y/X|7JJZvQRa>Le9 bs/`4y\ssJ[ UaKmkғWfrjS7Lgv5;لQR5#z7䑬wc)T#i2v_3X8~Ht|zǜ&Y]:W9o>|עy_ָA, 8 aڻ쥭D?}WP ׂ;|4w\dM)?Pbl_>̾@lFP^x5 FRRl|VФ{uؠ6E`D˘b"SVYvʠzGd%$RBE>En~jOp=0\2$7߶B:+#W ӎ ]T<GD2DMҚ Y.JtJ<BFnp}v=DM=F'-D$ ]`0(/ϾLY֎QNb|Έ$":S`#˲0'$aR$-%KDh7ٚ=\5eALv] } :1Nx'O9Q8`Pgr:>d::BGUlE\1VCVk\^0g|0Äw8r{z2$okⷎ9xϋO 퉈'"KxEa
&1Tm3sd@%YC??E\flKPZ3Q$\@;e^']Z]rAҜpG>0RWyɰ,n䇩0<_%y?tslYi6i}"yo$dQ,b [bZ
1m;,+qDbL!Z
btz.%$, ̙w+'sAsыKOxatLmR&VL7D"3ꔺdG ҫGU
ht&"uq$=3gm,l!3S^d^6%6R͟5h ˦jGF
ć~drb?_^*Ţ?N;5dWmQHn'x'_b B4rW*N^KBH
,uʄd#rOgtA\( ZX