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 ss#|t ]/ Statecharts:threads=2elapsed=64.276cpu=115.252gc=2.864factor=1.797zXZִF! UM]ŗXf1-/6vR[]f])_١Kh-UWv h!xfh+^ (Nwj_A\KpQ4< )']m+V BL?KiT/ j(O8.85@*o]ѡQFGn_X("מc& 8-"":P~fCYb`ʋQho,ScF%ZXzm.@J R2&.,ݼv뗪]dQVE֕Q~f9T`:`!k%\^=="!'f@"SV 79ğEo[YoC6̑e>#E&Ag$Bʷ#_uz v9c1څ$?A?q-dZphM;sjri%LtolayLGx [ͻ; 4JfRd.$gJ.`&>Ė0˨$ w󛢰6⨉T 0؊}I|J3* L\c&z,DwJVs1:w $ N94^ǴA7xXu&ǝuGZ>7^ۍ,v@'Q#)RY̗CqLnc(޾eZcp a|`EQ9'=G ^Cx9k@'Ȟ̀ꡮx߁sh7[LeHQdB-wBLaPy9/ߑ .C닝4|7g+Cs 3N?உj1[A7l\&1-nm#~sۀ>:0,rh;^H!Qid6qw}Mʆ3 PJV—Rh*V5}PlN$SQ657Zs(.@TT`96wyfWS=3r}_UW)_IWI*v4U j9[&U]l9˰&9"Ŕe]"l 3⇧\e"QSA^|Mo(tz`Kx|g&p WVk^֍ G{ϜabL# av/c=Zɕrw)Ǐs(u?CPЩ:#rݾS T!wͅ{V3~vhȉ]'&P2z$9MJ"[Q!]"nd֢K+N"} oKoTvd'kk£>NWNė:yL ' i݅u8fm߂k{ sAEYSq{Qc9qݷ$Sۍ+ lWt_ Ln5<˴;*U8O?*")!-טd+ >OӪv@VxX󉺤.bM|"mnB-n:j3Y7LC@Ml ֺ 9PMIUٻF:eB NuT0"mheiE~zH妇*έ.n+ ,`}gy޹TŮlX"~ƾEDZ(~4OxKoKQF6ds] PoYQP4OxaU#fD^HXgTw ׏W?<ȯ^_c~Ƽt.~g4Ďr(+8Gβ_ hR j2YB]+[Tq6ɝ+ѶҕC ЭzJc;HJ{kb\"ؗ'L^ڰeaJ AsJ]I"v2O^D߁lD~sFEV+B3]S&3i\]v?=~Y umN1i<3v$X`>v]ncǺh1@#dk`q7K NQRC ,87`o~NŖQu]PbY暓[p$q  ؼGo{ =ZThn s]޾)?>c04Hҁ:[ɤnRĶeGxd(D"XM̲Ղ}*^Q3@K|T՗*ӵG19[ч i9GbAD0 ROȘ\o>8A|1U|BѴwE+gy=8φG4L \hLg6 \yo C46+3aCoPP3R^= /j+vԥQ++%(P[B{}VܝLDgCIK;B%o̕X4j8T=-pYgrSUK_l&x$x7'p+h|F(ץ+++;ICfzW͙WatT,/ ƒ2g>fh*6N*~2V)E\W8.~]$)kQ^-:_"bw#٦݄~jmVV=gc{~#Ͼu;fwЌeKYG l]pͦvk ӞA_zpRh LQf_ܹiP7CGVF);aHP-AIhs`A6[%n}ܑeѨ sMX yjfbɹf2Iskfp:W3!T"BHfҷ ̵v*J4o;_R e2ZDhN-BrWp$RF/+-D`.2„(rsgVi[I\-L?mu" Z,Atwaj*I1_"yG$%Poi~{F[ѢB`Ѡwc%B[ų` 3Gڱ=ri=g_$RTA;RKb6ku(h̀E<s#_0(0r;ĉDa&qH}HBWo ()Ku ғ<ڕ ۝ʄq9[RN-Q^pş=gM|L?l[oAbnsnCn~p^u*2d#:P(ńI1.!Eۭ]P({:[m=;|AT|ghK*˜)qa ļȿ'/v C}vB>! l{pBO4V(`Gdw[gox4T4G{ nȝ+##:i1gW{@UƷ/MՅˮ?2z