SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 # |,\ ]/ CISC-Kernel:threads=4elapsed=13.320cpu=43.652gc=1.344factor=3.287zXZִF! 68]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVd,vl-pripY4ކ[vDy7lU }Ґ]0vHMh?:\pʤ+ǽ&Idkf%xq `:>hE|,v^M}"}:&nfX=X'5O4}:1@X*,d]V+C+Y+G=t~VP 楹=~Px 6fR @ di>H6KԔQ׻.Hr7C9<{a+\Ͱj$ $L\g(9Y9ʼ͒AnHZ D˷3eDI3%O&-m#Db#\څr4}|I ԭ??` WU;B6`c4++h5^ّO0LD#&Qs೒BgU+oCwå|4h6k 3]sE/ϬyfL#K{8ݦ9=8PF ߍT|v֨i:|x/oj6wGu#O)ُ+adcwn5_e{u;7Qotz>@w%z)4LMy̎'Q+brd6wR :qUq"5 Ziजr_3VVt{q>4BiN nl;Ɵ6o`E1'%(xElz' 8OgogYZ7zXZִF! O]ŗXiɟLN.!}" nPBڨ&wjnx1FB8.8mַA{) q3q1' jp|]| 9ڻOQ}m;vs@ vAH2*{Vo,+N1WD ݞ|ĉk+ay+h,t'0Cs*NW{ؤ$,pVN2W? `B09iI@R``Jh ٨4 ৠMz7\wyE8ma-:P%KwR$#Ϣo\u\M{:%CU DrgYZ7zXZִF! o]ŗXi%B8_tzڜ ʸɹprqVu g.q"e hO}$K!f^2o2$["žp˟ -|` A(f&hnye!eNj9')w싇zDhVM lKE6dxO4QOԘ-ֈ0dm o*u-l'z:pbL˾)!YFYdgJtbj&lR8.6DO}z1UcV9d?8=hD~ae(}~W:`4`+R\C=<.0/>F04LرvA=Q$w9 *yLRqe&VcCI 폪ǜm~ؓ"ͤXmF (G_s%88~%d7 EE7 .R KV:`# \Tk 8~.ަ+g@| "04? h;C+I$/ᒬM>nxO<2>,GHU6Yҙk"Q45'} +!Irܐr.LŢ/{LMS{+ ?UW2=Zþ\yD,eYi/!X5Ϧ>żn# hܙC YbEF?Y{;~&έRqӶD35*>ӈèc3NC$q =w=m; C!m|<õL]^, ׵ r+byN]6(OƐ>yn]EkQl-Pc[DB^5#uQ$(t:npeJi?Y:v rPy sCt1