SQLite format 3@ .0:  B --?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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info wG |$\ ]w Architectural_Design_Patterns:threads=4elapsed=23.991cpu=65.220gc=1.776factor=2.727zXZִF! 6]ŗXf[&+jFJ*h+R8֧t3ipE rt `5֬2$PX&7$V_8#+F/B;FN9k۩qbožXlؕ9DV0 ȩ%meAڔhn cۈD^nR965 m*KN (-r?ĝtzf邿d8VqAVQ[8UKBW;! wVyBP~0O>@CAZ$/]on+וʃΨ,3f%HZbAia->8֍l5̠Z*tp>ƴn[Rx@b  G Architectural_Design_Patterns  3-59l##~FBJcϽPdl%ґ_,ʸк2hY/$y46e[]n#(8C -hd]8lkQ{!* 1М1 12 Nj&G 8zs/'l2iv ǵv:-PA3}pC.z1-N3@ w] n#u@uP)u'דD +XlU}D#M;n 5MCR.L%!Q%ó- xڱ- W^"2U(Ԯ@|x~ŌWj6r0* "Oc4̂~)Co&POmU3Gzum`FcJ>1^uɒ&ދ_9([3| vm_Z:xV MgQk\k֛r??gYZ7zXZִF! 3]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ$DG P/dae>yj'o&p>s)an~BV\ Ľ'˜&=a D$Đ@ s+RX* i:闅>&_l3N<{YaM-gYZ7zXZִF! డ &]ŗXi%B:g*$J"mXm {Abw*e-Di7# $9ECLh0?෮TV+PH\Eˆ?q0dJ.LG?ѱU tlH9fvc7vgb+Ua0`_W/5Gho~jzM{pܥqgT_nCܡ&>dF MG٢Vy];ދsH.w12Ԝ{cZiO RYq j}i&"f٦Ka&crOV1??WtS `"z84IljƩmn&TFM(DkFMg~&Q[B~n8iow#Qp3yF1: 3 TEX\FN%>^"WXvK,)E% Yn Ѻ >/G `x^Z8RZ ]-7B Kg ѯ_x{eaKٳvw+{в]ed$c!OE&IV ܬCcqRThKq܊IXf2?w<ĸaŸP,4E}nE:ݨ6Ƒb޸%+KCMxa`cL(A1X`G"bpH/ŜImymU:_@FUCIWkDЧ৿=T챒}Yfzƛ72¼3v]!YUG-zzIf3 h5~Hy<;=_~Йk;̽ZaH1d9Y5*T j/;OOpv ji4dN0z,m`/H9 fQ_4".HQ%|qâ=`j76uh^JY[D{pn]@_ю&H1% t{rT{O9wt ^70S aG2&1,.Ao,8= &7JT~= Qtu;("!j4J"Ⴝ5'7oPH`ha;ca/5A 7&q?361vy{f|~&IX ځqgߑݓ{zR/g-+,0}fUkyIP6u4h^slElbqgʸ7EP v9cB {5{l" #ۼ `k824SQ("Ux".ҤZR Y1'}^7>BQl^֓2}0A*W '̠!4nv)~JH#8.AW"\Iw9g{DPa& E£|~}Ց`?E Ċjk wlJ& qVԘ6Jb-U>Ɩ+`MV/&St_*;6,98=p\^\)ʟ(tnNT:/,#Zo ȥ MA4# '&#G1;(\xBwyэ N4b1 gv1W YNa_I s{ֈJXVI@J ˥b%,S 0V$5nKt>F~kGRa?}tpQOKk p3\u@7G_|Sk2 p~}oSy1`g!O7#1}MZi Ka tY6I)rު.0Ӷw` Nj(vS;