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  Z' 4t< ]%]Sepref_Prereq:threads=2elapsed=57.014cpu=72.708gc=4.504factor=1.287zXZִF! 8S]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J Ds⟝m ͬʇ;eͷZZՏER~g|$?' .}mTR{r I O%#)8OiohtL gk!UbiL VcyYC7od=OyL2R 9{~ޗtvg~nnD_.k ]FqEEل3/u|6ʠw/`zuub ѱc4t϶"Sj1-,<+f^h$ $"2 XUEW^mhv mUb^x/7+"#8|f-y=yG2)f ?f۟N i`4r\*4!Rr,BW sgL  ^ ȧہ͜" ՂA{SRَx 6I Ojq x67~Z;9/Ek2Q:~cmRԺN0f >+|v|7'x C_> 8lXd`QڪL.mLa7|dD-jQ0@"DG6}Q֮ڥ<"OJg~LҞ='Bq+nLj ZI7XlMmT0T ӯykcHK}zZt J9Q^')ؿckcm7OEQiq<= L:Pp?(!Eݓ0۹7(5Ĥ kK% #pl[O[nI[oNV1e1 (cS"}Sfi<1ůTqK >C_OU2qā&Kex$OZCJ[*VfVc8}bkc;3dZ*v3"|F]0Ɨݐx*v5 !TqY/ _nB&I|VV6e1%GG-g %-CO©B [RײE;v0| ' Sepref_PrereqycpugTI" ^.|Ud"G髹1*w F NJ޳wݥ(tc)H̢E$hF\Z:1QtS8W2P?R#+/ qRIu gYZ7zXZִF! r]ŗXiɟ1˦r~KunύNN{E8&wrڟ~gߴdNJ(* RCUϦ|(8 8躕7&Lpo(~#Me?9A1Y h?tkc ֨N!M r̖IqxoO#o򚔈͊Nt\u߯kᙫ{Y$KܥJߋDk"iM,(:\Yイ;`W G<\݋eH^ft6-*?Ʃb?[!2 'w< 2O'382~#w^J|N n,/Fc*N\E/y>zA٢QnU0p+vAk,qeV(JxH\byV&|+ NK̚˜-T;B:"e΂0FG@Ks8;[)|Q=>1e8g` B`mM8E,bw3ul l*XpL+AgYZ7zXZִF!  X]ŗXi%;{L0S<LzaV8,oi)j~Y dgqҀ/4)ASÿmU ހ |O2v'Q_4!X. h vkhgj-6׷핪ʨ$ZO⶙gz=.ڎh#!4rV`)S"Y NvDHژqnKma\lee Iz]:澐~ArYC}eKgY\6i*m2=x `B掴\JGqq !,69iq|չ%Rg+(뿚*F?QݭkHx'Q )pv'%)ZsX~enh}fqlu,pFt Z͕nU'TEnOJ>%v5^%f 9[?D}.B91=I? $[zm!L'tGZzb3mҔ9'& YyA~5hY&kE#}G&'_KRRZq&=yvlpz 5qH\l{㶍`ϗ >@WC,yUr: =7o{}b̌6,^ZI @b)A8Vm uq,˕?͇Oa'u r6$9d \6J:R/d4жgm7%Q6㺇%d?\=EjVV} oys"Nhz85H{yE0K):ڐaà%'v[xY ם !20CQGʍ-^_U6[)mKh"&5O㵶Kѓr׆ #՚ )adDvxlReo;-*$}XGxB3Q1lvCAE6%׊5%&\`@Io{8] sPaqj7UyݑefDKX <źI&5iR0h Irǭ[~Z./*|pqR=y17n^ @KJ ^ž "wᓥw hzK tQBܰhZ/ZW ץt3(Ozu_7~!}L@c&"EF9nr Py%%'Sylԟd=c @ DSƱZ.(0`a!B>R^$jU^z`\ZzO_$TLJV4.$)7+26~%mgl]G+;>TxAj!}rn\ՄPM*/yeqіP} xiOIVHA';OX#9MKM4c]_bgD _H#mFfJ$Bzd_ɏKQ{ ;JW#?`ŗ%@*P .:I\Km{wZq/a&H)r,dNCH@Sɒ4G'?=/}QG_tN+^$ʸr=yU3HJ{z!tgu `|hEIF娯&{r ]+bGe8/lK vTܠzF._YÆ7P*%ͷ=QS4𽞹t>iU֛S֮1~b^.LEӔ$y_FOBIf)Y 'y么,7$6I?ť7ݣ@

eߨ6]+6*נ߬:LAod`tXVB荞/&$LDW n4/\Ȁm9Kc*i3 .H1%諰,"%oNy|ٱgYZc06ea11ce6168e68d9266664e75083458c34a68279d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 c47cf66a7dd25f85d9efc73896780d67c0a94ffb 18c6951685c7a2319ebcf51cec66c7575088c186 25dbd0fa3fe11ccc0aa98717844f81a2a7e42b9ea6d1ec3f41006c58ea1e72b73df2ebd2d631803e