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=23.834cpu=32.116gc=1.340factor=1.357zXZִF! ]ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2ǸxG?&놦y'p]4'#$+<gOP6*I_ =põ5ʇxxF͟r !\*x(6l%|#xMc÷ǂz  yKE͵Hb^S1(zM.=1nCx|<{@ē`EpѦl7J@:icVL lpՌy{@oSCyvdH`TV#<^`I\l-tFWI|~~A-8v0X EG( ktʪ[GRӥVPNsugAh (n':F DK[!V8@:z$q ݃7QDfǨ)+7=,5&P\|ԵVmnA-g+AYT˫}@B$r4?MH/!Qp?OYK= Ij*@9+3A?=z9 Js/E4;gu?Ub}/ԝW;P{kD!#^, L!խUJ"ېx#?yܨڄvwPHM3a;ErfoB.k+붏JL+)!7KΊƴQ*U K$wZ$nkד+!MךDρuQσu5=KzBuw3l%5X4A<qA%K=[2+ƀ_o8˫AST>6!"PT}t{DՈМ{Cڔk9qA'x{_#6A&ͣ൶+rf{rF,أp-#1:+MbZgO87w*ȏ<iEykəV}يqpGD@M*$DAKwuȀŅl خ[ENIХIJ֨<Լekߤ+6˓_E|R3ɟ̢y>걒*;5C0# #X(ֳ{5\ ǿ.˪Wp[` ~4c7$Xܸ>]۝~C-½gC/Vu62@":ěS2O<޻ ;UNI/pT;C(N8_@v]]U<4ʒ8ৠ&4~(e=A>C[j)""ﻰe9 Սnuhbg#G[o?*p!{A>soJ^ou4s6r 1CP\J襠SXD #Vv䩷jkuTH+v6UzSS\C8oߝ '2P*+Xir1e4Uq)/4` ;<%x) Wm;u'l8j:tt)8ʚdZ/&s_׋?q.;D4 _gjۙeucwIWQU=,|W䍬ߜ@gy;%'z ^,g@*Jb5X6p8M$!H~ʖL3rQ(F^/*o Ç.gYZdb6fc1e49ca335bf6eec8f4182fe591d0594e29e79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 d60d9d5b06dcc91155fc420476e9f83938af9887 8b9aa00a17e51e5c3a8f85ea01fe1a64bd3ad4c4 23848ac0e7a4653b074e58a4cde878acb718c54f  G Architectural_Design_Patterns