SQLite format 3@ .;  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 \ tdD ]S Show:threads=4elapsed=23.695cpu=54.464gc=2.436factor=2.307zXZִF! #t]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@VwU@ i߳OSa+Z/D_`.paȅD~gF$z V/W~ nA5u)LJ (>ɚw]\NRjpp?Ei ;Lo# bSaVs)+ Yg-3QL!af"嬑 #aq`emJͯDo|MelKJ({=ӝx#| 89QR9(EQ;4XX%zD"+ NmٜgR r_#Jsf!s:2T zv51 irH{ȝjpȊ.Y*!0,# o#Ew>- V:5@X$NG jbm dJrm?Ҟ' }qs25AZe3HL7)N##35;cf_a%(ͻZ~t(7D`ܭF&)ds\,Ie$aJЙ@_Oy; $[*e  X7akmm<1e *uekI!-&40~Ӳ|<$GdkW W(`] Pm;b *r]PaΨmf*7UA^[*iȱ|.0}j~xn=[zfyǰyvpEܔ\`m- +ݘq=08<(kgYZ7zXZִF! R]ŗXiɟޅ*-qb|Y|,(̳ʡ҄3&M} aO7 ;nd s0k.@Xw35֡&)@m) =t3}'$ "yhl>C/-kWN.\QY7i3HɦpݑyE\I<}r2(UgL Io(_3s(N}ıgYZ7zXZִF! D ]ŗXi%I ++e6҉{l"I<' U)n%!T,,1@ʝPZz;{1s4}p5!noZDq va҄8.F {8_AQtd'M.,_fV>e%k¸e~1 n7MZl\#8(Hxߠ`2q %B #+^e,OKjMچA E"b+;n63sꗊ]N(#s7Y@7P.41n{tGEF꘧yWY'egRsQ%: ϭZu8 /#r\H513> LfWW 7ϧ6KLA# .L,hCl9"'޺Q绻(0$^3@=qy9|ci;;['a^&nZ\m}4BGk;i\oS1tz^0#̺KOB=M `'(f[v@׹5P論XYDz5: B b-mlQ`Ѩyhvіe Y23$QULs(S ^VH~=!]a"3uaAʂ OXj!:p|v;&[T#)abQ 8~& ueFr]WN h8 coe+CIl$F_?[+=( Q!ehZU},7]ġ ^!Vc{.{ ku!pP( z^zoN9fmtckVZ^wʠ6A7E5KQp׮S?فj[힊"5X܃* |!8j!cVxwS`s̓R ࠔ-Pts$6qN#10s[qՆlZnS?瞣 8:JڀK_e?&K~8Jy>喦--k!X?сI=\[(hf kE1\q;~ݬVX6+wݛح:K6%=nʱ!"b#Dc80:'"vlogPyoTjIx}1ƻON|6r"+x8%" '*q/>?ŐWTkJah#ͲQK8O#e'|"P#s) VGߋx9g"C9\fvS)Κ~5f 6'zRUi &ƽ!~i&' s:ӻpji.Lڃd;0;tR[ӳ2TؐQ,6c2k& B| .bU=ٳ,S˟"_`h' p lq"4;nbY֥©+W ,hH71uzPŮ7;PKrP W8:rћ5y<ŲӐ1lQ $`Em,b@e {B) (t!K2%,S[6Y[<nN@ ŨCtzgYZ18f36a894f9ad2dbe80292762cb0c2204e9eace45a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 f718e6945b7b9718b84951a20633ac620669809e  Show