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  i?l4l ]]HOL-Computational_Algebra:threads=6elapsed=41.056cpu=126.688gc=6.780factor=3.097zXZִF! 8]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(DRQQO'բ>ک  2S5*u1-M*CBZ4f|)c}ƂbIJ=|Hbm0ZPגw3;?@(GYqkCyrfkg4#;CR!H3G>Mw ? HOL-Computational_Algebra3۷O^jkb3ʳE&Gss=(Ă6:(uМ ݬʼc 4 1[1F-0a|N4&@%KMwyZذӂCAah@r/>:"DΜcA& JmcGn<a89V/TKM)KUd&o}{)KK6#%nIHŧR1`WPAx鯘3׊(10*b[6'` (VޯlC1|w+aLR{Fx$}Ė JH᱾w'a/ƗI"}b,ίuz1l 1c;]6#aI^SC_2/2S^vi?ݥqD|.(1 |2jXB#gQ2=4h ֙-B)[3VзQ,0NQSRi9냘8 F]`ze*F`M+È^puo *V"* q7,gYZ7zXZִF! ]ŗXiɟ1w٪*9OuurLgsճdYK: Կy -CYҾO/b,Ywϥ[fjy7 ]0~9y0L]RG?\lϑ!(%+Gv@%ȱvpwRMF_;c(lzi\[j7Mҵ='O ߷'': _JgYZ7zXZִF! ]ŗXi%96.TIuo73zn$pS"ؓ@x3=L|It]eȥ0d+Up'3)X" f᥍?ݿ~ͣob6;G'ݭRdl-ME_s K"9ו= Z׻J2a[N/qGc %Wg̿}!kQ6Rix&UѪ*N#(`*;/{ !^mPr$Ѕ(O.8=n1<3z׺dS!+l,H ֭ED,pB;^z&բ=3ǴK6G 4Ԑ}1k@ ٣qC]:LP1"΢'e JB4m9 1sa?=!F q538°TS$KB\=|Z;ˢelJ Apڟ'iD @6eI W|-0hCt3CP#}6^W6~4چEB쁔E,B%iF*u7u'h' u9`)׾m.րDEg!½7^Pwxn3kdHjVpTQ~E$>kvz6 B^v[sœd"~"ы$Z[P|F(e" KAm83L=vkA<Ə]|Rt ؽnm_&q),Y7xP6HKgnv -%6n?Y\}-YfV`UBX>qXz UO'],zVb3mw:9%^vflM]W/穒7X,-^P@6rQ H ;Yz ofbOo]CIG[+wȳ AxS*9 yo>SD^&ˋCtP֚5s),LDZ;hJOSjӚ|fFeP'tӽ.Pl_=F8uV2In B˝7;}YD=:ܒ4"Y4\>,Ky/u!4׃cvi[ڜCGA}_N<Ҟo;refn,ORn0m2juyrP!}/C ^<Ƅs3N t,Ώ?1åЬ_ag#U*4"{u1f'l.&(> $OY#=kS qJ2?n~m{eٗx!) Q>׍n?wib"nChNO@L:mnݬh3VuR[V7 fYI(ng#"AH9kW/,Kl#)h)ظAmN C#sz G9`I]kZg!;YM8a_/: [-.BP8/?j7%"-Ӹ^rPG:EML/^wUtvj! h/I.sJR#ylrHݹO"p:MY#n.+T{3^"x: l!n7y)[Qئ.B fZI @~Y}&|gQU~ w zi_VmƢdMw)/?c D}ǼA,#W *(p}Q uIS$ado?H =N& 7zݝ[f`Qu|n7t nz*Njp zcGKK^0Ku#K:^%:T[=NR<8병n hcп ];oY"g{_In_B]j6_<h6 J2I)ga Y '¸1n\⹒ SviHkM_}vңH$׎3्OLs1ri}+עlc)޺oD8+w}-* *̇s˸zq[::!eS\+gcf"3HxRWk˅5h!:kjBN1x".0\r}$|n*q);邱؀XWps1\ >P"qe)YH'(t#7E3wTJp./ E&F{U+%]*M}oY-dG~gC3ZUzMܖySHs1&Þ n"2[}'ǩM2ߊY/hHӎ7O{)6JU| /W4\A;gYZ0c7d311e2e08b5a696df9e33a463ea99eaf908bcb7e847e721809281cd40042e7df94b0de64e4297 d40f74ab6c572f5a7c6fb839c79aeb7813dcf391 96e7d01d2e8635fd01b39dbd704355426dd3dff73c1c44190330e7aba9b8ddf69cb6f4789ed77b45