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  z' dl ]m]Flow_Networks:threads=2elapsed=54.359cpu=73.188gc=2.612factor=1.357zXZִF! # ]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻ<ޯG;c}TozZq94ArLDT&[3 wLgyj3`^.;-| ,zGBkӪ̝ )0@iVxdҬ KҗU¢8(y\i[Y5g%&h+czנgj RL +ϰ=<˕̝xNV+Te,T֒HFEf3vH=ssĽĸvl{SO,>)&l"=ΪvGZ͌燏j2f߹&"H}-Xu89eXtrW:|T L%I'~NԐ!@yXoJV\.PYP(9=yp'jS#~ ' Flow_Networks  T{"qX982l[tɐZR~'{ca 7f< IJ(nRd `M@mB L^KNmq>FWذ$ԬWζ7:,"hIƦx'yrdߎ#ÖdzDyU7#U[lo2BYҌR[rAQnJU|8N.:-qU^6]i/n.OK]WbrCi(³\@t>38Ƀqj DW xYtՑ8%W"]Lda4gG"" _C"FPu=gYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:?dWykU0A]3h85wMҲnT,׸'4/M$FIkv/,_ Ɯ"ty1ha^*Ȅl6"/ab(a:IzIwt7[~VX5D8XU]m^ ~D:ΠwӜg} " !"F0K^ȰX,`^{ԌStEq/qIoW7)t׏GSr0=).v!e#y7Zt#5BMI>5| CoH]?Sa3#D7?tI3뎰5g2%c /SǬPa0b2[}QasP=#pՆ\JL} SD!7`#^9S@TO GL7pd }:s8mzDQ/ε4T%uR7|Uڽ֓Ѡn*wcҏR(<Ⲁ\=w(鲍#.Rtgm4u\5[` U 8M{]Щ^θ]+`lBtx|d׊tk,Q.ʠI[&$JwXzQ0BNMw#^bw;]Ddr{02taiҬ e9U)[lf&I[ ;8䇊SKA,lϳv f{4icTF9ݙDJin7T'W+˽fpiт9rއT7Gſ ۍ$u XqۮavGٿAf`#75Wʢi$Pݧ9#iqթx Gb>=W[Oٮۥm!R Swh Y~G<uK,-S.Y:K+*C}@`QKu|,n=*xu6tOf)DӅ w29B91W\&1oWrN %-NCv;mA0%LIv3@^E)Yw9dIzC;Pe^;ʹCAR5 ͥ<7XP0|ިXDDˌ˚afu5eL'K=;XZ.o >O;`gd3H_~f%p(u[ɩ~-EC!;/ w=KQ7sN jTqF'uflՄu-yJƂ%4d‘A:Ϩ_LMT2 M ȉfζ#n3-85]Q [%|;5@WNA"M{x+8%#*g E,.Il[$JzsD3} lBsY䟀k"{XITwxlm yGlE8㢬Ln<s{D%0ÇQGS,ʃqN;(EzZEdT vt)ײ|}dY׷V"Pӆ4dZT3z$S%xVX V+gPDs@5Ms2!d/ڔJ 4Zxe@YSWYQ S%?'rj=>3w[6La;g-ӈoL6'ꃯJ "ɞڵng!eYJJM2+LKH57Q0A{ "/םi{Ho^d uP;SuXPٷpPtQ%xEVU?AOWEBO:/鳨#WfFNC .:}6`)vbqs޵٠84یtx`Y%ΔEvV!W{59.g쑴aT.1yȋt;%c.ʳ_' ;gxar7 \?c}4k x7YJw7"Dȫ:=X=id+.*fʜ&ǽo :d윱1CB˔w7JWG`4Tz2C_/8ߏ gYZ5abae83bca87c9b46928af48df2c4547d2e50793a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 6b8c07c29be9e22268dcfe432d5c0c9b09163bca 083f9902691e545c91ca63c0f3e471bde55c6330 7cb875d988d1e3bb7bbde6be5305b3f83e991f63 074bbf5eed40c3b7423edd5daf6701538d9e891a 2b4c94bf713867453412cf6a1f345fed4ce48902 b07623cdf9ca8cf8196b54305d72b221aeae39e4 0cdd890171430947863510dee3f8acb92c414bcd4990bd92792ef368caa562617ad1b2c30192959f