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  <|, ]/]Nominal2:threads=2elapsed=34.612cpu=65.740gc=3.580factor=1.907zXZִF! !U]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlReh/ }nutNiaܞ:X]h2=0Xm>v鈝H\ߠ5w #s=ЀzPǃҴwcuSyz ݉ D+/؝_*6l7 k   Nominal2   XOFͨl$1nZt%{ [8n\$ۅE9E +]7jeqJ_Op7ua7B1I[Man%?cvg~{ NcXwrd\ \\&@m9jRAq4VOO]FtI+KҐ*FvDޥαId` ֐ sF&8ЉeA^XoWzh)StuZB6̠ƒ 5'# :.~؉am/#Nx왇kOa|#lS&)J̠+ls1u uz"5q; W¯.yI$w-JԏC.9Qv !0g_ ͬLjFKoN'KO4|؛!0HdwoxPplSeE z7FopC::TgGSJrJ uCUk`0;<qc8c!`T9??^p!0,O32{Px5TM=V)0 qFB- X^M!0rD)$xC΢ '~TAZG@/xjO>csa 2W-p  j/)+t9mBf P -.Wkt )w*%a>1>b=Sh2Deg%cÆfi "~p9Vy [bMk6X%,L^0[dMN\E訬x8&o}䇖]q<[4"[kxh igYZ7zXZִF! ຣ ]ŗXi%>gMR Sy24)ыg9v:O.P#%*{e )c E*.ce J#]L~/7. 6oUvQ8d"@XCjR Y0Ǘk[[ X^s; #@ V E:{N*=1D[a+da-Y̸hNySN/7zgyH4yX N8AJCZh( ,!nbj _[.jI#~ kRק3rP^:Ҏ6ݼt\-HC2lXolG9nѓ<4s4-%a5e*H_q]nq\* (k-A'T-ivά6{k$PY_T1WVun!{SpہEКR3cC#Hab.a|T'Z<$B3{60, Ѐ^ gwJ?vYr>>WR2trb;s=$CQr3Z oHNM:G!<*5)}/|ׯp4m>ɉ \ C΀ $)5Rs *J9(DeVtIZUY4F kzNh(DִYOHC3𛳃 Mil# u8XJ1PkuFv1+ %I:ҽُ;iOZVt{ڭFfRh<LML|'=wufqϗ>eQ4\)#k+bq̄JDȸPр'-n%xnoM)*tD/bSm>ys[;deD?))p̪87b'r1DNؼ]$ p+*54}j=F'1W/"fwgt)| IIrHsqf9.Ps% XL;,ʓ$U`:ۘ{KJ(vҨysd4|"ǘ?خ#m(l6qt*# = En0b }RȩHG)56\<8h@Ce R/dN=m?1ZӀIFJL^#hssm&&g =͎PD#Dϵ¿n9` P/T=ӭ:*?ga7bLᨡH!=>-_2cCG_va\⤁+$weͩfWIĈI"/N0JWiB$ z L@֭,R"C ,<F<8YL;ωsĬ o3CG09WJBFU҇]jv=(ƀE(* 5;xH[ mⷐ1 \v46|DU#(WŀHc\X'tl#yro<![P%Rek`t# 7+߮bԈ [6GX^QmPF̤*ӳY5'OHi)P Nfp^03%3 =&WDHLU=cZ#M"N9r%;Ej*kϫ;4L4|Y#m3pf9^qn9"p=Rv+*wRA^>}\(.kyk)r\m0>n=..ngYZa470f579d4f63f1105ba7955c2052a623e14b2a5665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e708a7ae8cf5af16d5559d071315c5daad1a891e00