SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 | |T\ ] Corec:threads=2elapsed=49.075cpu=73.500gc=5.116factor=1.507zXZִF! `w]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$n;g238{AIT ]vU5qsiu]gԹ%GN~s-ԾSvtl o凩?Kobݒ$shGJWX$Eő0n_sf;Dz*%ۣ~r`P2o\VC:̅t*'OR5*\۳^) `Y3Z)mtb73>Z+ x-~;gtgYZ7zXZִF! ߯ g]ŗXi%>_x26W%sOF) ln 2UVF&fx֙cZ&u5)HJsj4H"nO#,$:S{- S+Z̐EһxmֱͮϬ72_goWZcmLffU~icafLl/vPL/tgs@ 8}{U *јb1fNf䵼g2W&j9m51)h AōCZaFŻ_.TqƗ,[UK(:Hk_GZQ] v[e<a.py) .FǏXɳbX,mrHhOH׼x _5I=ݏ9khHD^xz\O`guuv fdώ&шne$h6L]p\ N}0Ep )wCQe}X\Œh@r=۹:s \&BTx"MMrHmD&25vIUFӶݮn?w=ԒtG.)"p')CyGf"w>Y(gn'!qXֿԣv({P<(ك>HzISRrJ47m_e_=!Vm/w1yifA;Mym%`qis54i)j3sSă 6s0[|378ҼojlF&?*EĵP6udY@bK߅SBy+wE'-@w񺱿(T Ku,FZJsrE6N Cd;)FĺkBWJl*8j5]߃Ω"֐ȠQjܽ'=s ZnoV?=bʢO85tq6)e7:&[LSNt!&y {TYtJ dMc:s r,A3: !`S<ȴJّbrǁ"Βi kFxt򃎩rH,?͹>$(ksޘAAdz;C 8:/P܉.Xk{TnY+ gqgYS b{V̼QXMO< {&M XRXCG1SGu3S/E%«UvMHkl2fG8" e%F{] :zdE`I"ڃYoʘ킂qL53F$oڼ"i+jE^Bow.gdhEV!7&B0mӵR3䏄Rl 1rAVg P(33XJP6z%3CzE99I(åL;NhmHkZ$XtnPBh'f'*  3]J"e$IAg)]$fCs7u޸iFBl!֠w87CGLC&19 g'CeĄ#{ 3| 9F W^V("%Pej,"h/7zz=c5>%wYqT~|W%]P_4 ˗KBA]xQ^+X&JN % @q~'UӠ! $N".AS ޕN&B*![bGlC*=7]_郌Һ|7IJ6^DqZ1Np`\=E, Q <"'BAF즐\1O-{&3=bUkul lnqbD$$ZFW5sP$`_455]?40 ZvNB`+h,4.z|$j KJJ#UH8EUFO8>}y(l+64څ&)F175 U,5;|;835(926;fkdޙ!'cnH;#P W|{,um3\n7lq"-.{A_{Wjy,Xre!FYiI ,XcUuWD4<cl|-, gYZ63f704bcfe9a60c24944f9e3c82d28c0cd08e0551770e7d42e284900cf7be1fa0dd3341bffb6e5a0 3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46 8d449bf485228cc9b63005d9ee3a814c099de91f  Corec