SQLite format 3@ . BBh77otableisabelle_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 SG \D ]w Architectural_Design_Patterns:threads=2elapsed=26.251cpu=34.912gc=1.556factor=1.337zXZִF! &]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2ǸxG?&놦y'p]4'#r>}mwv \7fT`p%Y]DnFzt8Q~5mh1'DזGͶ<])I\ _A}u ~s匍%F?]?u\$wƛC5ri %8I_A0_K馨+Wg:`̓<,]"i@,3PI`?/I ZI\@KWѳu/uWs6aK b&: djX DH7 Qf@ql_, ?8.-.H&X kUSR5PkP2Q}8dDc|\y/= XF^O؎I1)E I&xñgYZ7zXZִF! ]ŗXiɟXf'M,K8vA^;HЦP(< u0x!gȣ7Mդ8'xj rn+up{{FJDj5ǽĹ7ёx$E$UR&/̔D֣  ,n[VgYZ7zXZִF! []ŗXi%;i '@9>+ mmT\; $Yz`XC낯.m_Jk|1gW,DoZ#6Ms4" KvaOGMs+GT(M[D~j{p62E7\WFn]STzB"aVJka'a>cm !1ȶd=p2,Qe ">Ae62h.MY;>y5T:ؕ Ad }#rb _~2u\(/^{|߁=C{/89/Z|i~TyGr *}w;epcN fv[d_l5/#')qfO`Y`'\l44Qh o楈t #;l:yOA][4xx=>dX4ɦ m{#+`jZ[Icv+U"+|,6M'>wf9/Df˂s-U­IZ b`U0){u^H5 =8Matutku"h?Nh~<[$P,FGU?{lVE6R%T%,kP+$JB5 8Հ9Ѥ 4m 2:%v*/8Wʾ#6N-ҍүJhxx*Jj ny ާMpnKr:o F>/]q=h3zB{4tr]L̎ S="T%4n8P{%;֠DsBגۑvDstGwՁ/] h;:Ţ C:=&x2FM U 6:7PF+p^|ћ6vXlԞ$FmGhNtv8],,#A\.%ujx'lfr jOU׎Qy{zŭB_l5]Nُ4~?rDȀ?^E~إcNk~ml' ]Cv.n߽\Ql^Q1.^ E7~vZ)H Gg&VqP9:(asKǟvmLZ%2*Yđl[W"uQ>.L^1@("wlWă2w܈HehB5B3 R.% *t AdkOC>,x. <;P{MgBM^P["Lp% (!}A~25q%h)nu;QCk\%Ow4IxUP-NX*)7&?4ݦ-Rc5 Y tvp3U^_16)-y$z.'^R*uǵ{ck{*v TzeEI'pUN s'as5~6NN+$ۗJ&Ky})dP zoW7fzan91arn&| .=gYZ3c7a1ed7b107ce3e6a61c9d2c27240357aaaa54b273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 50a806e8d89fb16262a8cafc0254e03764090dd5 e54d154fe846313a29ce743434ac65b3d15bc7a1 1c51408b53737e80b7aa7b3b1a92f07adcc074df  G Architectural_Design_Patterns