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   o'ltd ]m]Flow_Networks:threads=4elapsed=63.868cpu=104.484gc=2.996factor=1.647zXZִF! 2K0]ŗXf[&B[ |c>7/ Y~S7G,UAeH/FM5%=^._0`TDE='tasV_)뭌$/v$.&t̛Rx(mM)Q,owF'WD f/zE|g[=U)ꔙա@ħsk.ظݷm[ Wlxp)K ^V3$81{l,*'000P&q )PZo7d̠:h%ae6Nzfh ȟcŞ8NVb[MY(][PBT*.KL0dN M 1x>Uy첽шF yߩZk4[sڭA  ]׆=GSF%<$;?z_露5pK{qFngTiv^'H` s8 DbH d gYZ7zXZִF! ]ŗ ' Flow_Networks  Xiɟ$BR$#?2FU:? ̘h#o]ό Е RvuHr7c"5Sg$KVla(ݗ_!AB\?;:p!V;%bʾ#;T;IӍ&XDŬ{Bhw͛cΣHuv7fMX #3ԍչۚ˖MnH/NH:,rysGgYZ7zXZִF! H ]ŗXi%@b^{.5%h-"݋UYx'\'Mυ<k2WmDA6K1ig踁-(ÑZ@eq<1S:azVDpa@DPm~oCX`c'+1vkH2dWٖ 2WQQ9*l:ǖҴ5PF&P 0>9JǦy2QJM ҂6ZE_hMQMdݵ.EqqjFeeS%s *0BgM3ocxZY2E8Vp9 ~nX1h?;Z^IНƢPlndj%l'v"/4dJY׵xnqr)ԌAk6-D@Imn &{J<-G'NR:YVG&-{!'8Kd##_n9.RlWt$p).L/a@Fuc{)\ n);'>qȦWf"ukb[ϟUb"яF,>̩LMXzd]՚tُ0Pm_?x!“Ea{{SL읝 00zP6mS}fKZF/PZ~ g^uVٕ]q!7QlBYO?.YLM+L|qߩpq{%_(]Seq7hW5iA/)Q%_#5#-K}cl$cdl iЄ z' p_ 2:3@ q`SA B.6棙9N 8F}+^ 13FΖ߳&}+ognLR=JɁr0>hxEe*Ѵ[[%U~=t;j0:8B_";tk/ԌL #AurR2j*R})Ӎ Ȍݕ{bXNSv+DTBiL2R @Xa 0 ;?+$e4|QHݭ(%L6V\y> ,uFf=a!0}d_=I^=ozWXٙorHKnƶV&Hs^-[X1ejHeI(]3UfF^Ky}/Qsn&Ѭ0v'`!sz\d zqqywC2_=9D3(X_Q|0B3AUřmǑe\ v]S/OMlIxoD_YBllv8wd8T._wnl7vS#}O,'w,o5\t7R+}bħe[f*ei?繈&s{*x<#=xH[^)`PqaIz֓<5sQ.eC6 Sg;0'VeNkʮNҀNƽ>7L T\Cz4\p;``VWq-Ot~ '.HGQ<lQ'\s'%â͜j,/^hrqAA$m\ggj&Fɪ_/M n\&c8C]iqyq)Zrc3$;qbśsJ_6PKX=_,Ѻ; d 7t X >xڧ9o{Ğv00)ǹ[OuhXB\J]Hxn\}[ jŗU͈]ƫK!Yu,oݩQfQpb&^1G]vBxԺ58 "lT!k*DGQc} ld'cæO?$+Ls]$7:n>k@V3351A#2.X_AZsޚƞ\,2D =6Q:~q~kv7S'QR:) ;bɘh61W,4]J50y2HVzV`F(l.b-$Ԇc0H$Z혊" W Yu"/z}ְVJ޳ R35iZ獰,=eh4 R\Ex "S]gLkky{{fCKTF$+%I@p _R&r.OJJ<9?#{<] > ī'Hܧۅb8ai*i|E TxbA3)ƙOz[T󁏯į+)"zl9VhZF%n9:xihT߸͝nX;.Gj{G6̇S|A |ѫyͺb]J AQ^a~{2vP߹ZسB=Xa@kUPtc%g5) ޥlkfչEWE_m,1*YlN+p`5Ki*GΑ;<:v1eϴG3qpCKZ mrW,+\L=Ĉ(LF lHLxJ})Ρ^]=%%4rMb tj7Y:;k\Ty6Y.K=M(Ĩ$؆W:ZI"7 ӆKQAn)Tس\^*tXbs t@z2?ԋD=?3$t6t{SNRy}۱IEWtrRtÞʮ+mv&@LBrDgYZ45065f6204cdc79b4ef31b529a9c1effa60be07531f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 71b2093ae02f0a66ae46b61dc8718444cb0f95cf 076e49288fb50eb3c080af91c3e2b85d0163f7df ba4a960026c3a5e2b3246173397e60e7c37fc9c4 fe3bbab668f332f416209cc1f6a33051dce786e8 0ea0c2c0a96cc32eeeb4144c02a01db839adaa19 2e8677a97561075872ca81d4444abfef221f78a1 4f01378365ea63f44f425a46cd1f7d15c300369ea3421febbca5f3e082b478dc74725a3f719cc523