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 K d< ]% RSAPSS:threads=2elapsed=22.100cpu=39.460gc=1.272factor=1.797zXZִF! ]ŗXf1-/6vR[Nk#\S\HId/X#G̑&DEUp>+r*pQ#A7N\ʒr4b#xz駅} )L7nMc#~ 6f6C4ʽgomD>%+CNj;v`VTE6 LF700ķ#&s%_+lh56zNJc0@Q#zm,(>9ז(5.u(}BA"y{րc" he}1 ֺ(תuţ] lt9զ%W{ief#fâB ?7#G(L ^i_෌,ysەB+,e:3|b޵:}8(;Н\+U:P3Nǧ6-98o˝ 9\nj #ogR?1̌#\ -A+ G׽=7p g1%tU!sޫ&V5-jyO y,ePe$N!+RYm: P Sbك-wG:o\Tg`Z8RBz]GPH=qP!NYJ>@W<&A|ɾ 1t]gYZ7zXZִF! 3]ŗXiɟG@~W/o&hyr2 SO1]]赽oj6=3h^d{R1.nnBg^œrqf{R8/ȓ2Xei v_TkW;A</7(β)͎b3ϴ"6c;;g`dKHRfh3*q4`4+GBr[HXJ4{=xu#./Y[E=ޱgYZ7zXZִF! wX]ŗXi%ύw?8EpU#0t ȄA[6R+ΉݩGc(pGM3fb.G-4}םb5FU/( *O|40`Ľ`"jO4,hprG;yA o|EH8lS$EחQ! ,Q/1R|J0sV6O;)uݑG}*q~Q4&YjZfZXEu~C7(}$Raόuz瑧U!z0%-ҏbX ~PD__YSՆ/k7e-2q'B#}?jR'D;Z"+lz3ˮYu6om3<ȸ<}6ֱVa#xy2: t?"jGJqO|.΅Dl&yFER,s:7{3ŲeUBN -Կ\&t'S͐*a=wtW9@Aj |ny*6fdjC6//~4"cp0 %/n?4<'iN)weCnȭÝ!ӕ6wB6̝.x<<_o T6g @b8 v8F\[EצpuULwZc'¶"oB0/}0AuTXӋiKCc3ߗxˈj9 *FEu 'ɣTR'/QIǵ5l99c g[^OC,$)8&kƗM0ڢoD$$ n"A!xdžۈ[Ȍudb=J9;A_Ӵ}&g/5zZh n0EFI_qlJx:ցD> IŸ/u1oGtƚB#Z*۶Uf!oxg( r31SEA*zc͚P_qWpadL<2xRy `ϷElU2>+b?hYYz(n#&TcwC8;m(gP%({*I$1s1# ==l X6+}tEL v^c8;uEcL'E (2z#wO LtdlfOKffِ\#ygsO,R_!3NF6_Ys9)A968 ]IAingc}۳6΃1C6e}2APT ڀ>'KP֪fԩԣ6c0>,Gu-wF0S2/28n?[O.4r}N[gXGzb*- }= _kfƘa/OBXޅNrr2v0e;4?QSfb#Wsؘ(Y p" 2uUf̷b2 CQ͘ 9 8_ 轰L3  y ɱgYZ6160f17bf8d2f9b0954b2b7b0c447b378a5f3415d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e 9acdc8ae94f51e61fb886a7d4fa5f21c7bc97074 f1c89c9f109bb6f249a332581620055a229589bb   RSAPSS