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 a) L ] Error_Function:threads=4elapsed=10.778cpu=38.892gc=1.476factor=3.617zXZִF! L]ŗXf[& nTg6 HJyZ B͆C*K/K(cm6^.֡}0K &S*WbFMi v0@Z]#k_t>byΧWC(f} 0[՛>GF- 5Ʊea>^5/V޴};A1~ov O}xj&$ݜ# M`飻c7Rjow6A ł"?0O)>- ^ݎ Sxw-Jm50UPzH փ!/)~NvHMΑbon蘣.RJ&vfnD42:mr;,qI!z8lߓ˹n^7eP'++v~-v̅rsđ*dK_cN-}BD/7$*?vsPKPD2BZ91L-l8KkOރ[l0 " ] =NSIB A=/y* gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#I?9*Yh$cW4D8fڕ'd^ũmx{0{S?`n xf),C1 d~# .Δ-] Uwlw Z9,4R`3P`ާ%?qY_sI-V%IW |Ő?$LA**$ q{ّV{tIW>E '41Qv UG('r]igYZ7zXZִF! NI]ŗXi%Ge'MyD}%Mxq"+z_9 >Fs]4lꕕOԒ8hʞ]efZ%k}U&*vbo|eW6aS{JEw㍶m<c+> qj(yq]W}uv2(y~V"JK{E$FM:GX&layŦ&kr/PerOR*cxh^A!H6ޓN1_[ f@ ՌXݼ;Y494"wq7V]/G܏I`nQ5fB(9Xz6<1xR׺g׋Um|8||W܃V$tu_g<\&e1 y:ܮ^^EaͫCnP5ъsƚ=7NϣW~=!Dͅ.~?V%D ܡS|mvk$G^~|ԠA2EU& \uქ)앑q'Ǧ$לAԭs``@4Vu*{Q0el6f< MWw4.@Db5? )nxy~Ϊ+S&r5Q0̪!5ʖ̞][S' ٗi֡ƣ Ƶi1,pFKl`OX] ʤȁxHҗILK6M_jwYqZBM JtwOw’qwf˪2%@wvoQEx'^ ~(yKrQN^&\Ɂ2{`ahjb#Ot3^*W[a?X[]䊋 nXyj^.}M5&4δ=[ngh% Ć XQERxגS6jlF]Zu(!8 攅Tw.q7@۹`)DGŠ'V&vgCw Gz& }V4>x$٘)KegD$8fXUN̎UHXexXxFj '$ L]>61NjϷ .ΦOj4 7dOH/1aFL`P4~PF1(K`o.w`Ӌa ;gzni<>Cp#o3Ȫq&O,nRt:|):J5>Jp ʜB7"gYZ0c93833758bbf56dc2c4325125ab27b688f4dc661795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac ) Error_Function