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 ((U |\ ]/]HOL-Word:threads=6elapsed=9.880cpu=51.668gc=2.460factor=5.237zXZִF! d8]ŗXf1-q恈eO/O4Eh?>R[Gޮ[ 6.\Z ,բ>MM\BŔY8<j-(VnC3b .f_[r$:Xg&"pXΑz irnw)eݝ7T}#;6NXwv؈@lZdڜ-(]Ĩ/:,N>,h">d33CcԾzˡJOڂ+9[WÁ '\,3¡8%-+L^$M'|AnЧtzԲJ$nԞ[SbE[el\¦T:[PiDyJm~#)IF iy)ϲKIPrȖ^Lk9//dQȨ[:u&섳7ft!pcdѯ1),|kBZ*%!IB:AM Y-s+S:/Q&=ܨn2[{|85KK(*ڜ:ь u~ʸTGR:CrWn s7e#۵~>?&G{ bVuPPvLHuӧHx5}\G90k 3Vʍki$e`oŲ= h5g d8ݠߜ~RKiڂ̍0An774H6g 4:M+U9C T]Gh1(LpO8Ģ HrP_ h ({Q\AN?IF0M!tb=[9P/_P!rx!2I3'DcU ݓDܛEp 0ϽB9tpѡ2g0sU=鄳_'YbrxrFk~,ԡTC`#qUĶvQjI3##\l~rAMDϓ  "vW"lB&' u%B,g$ppw"EH]ASJ6#aIf8q $9Zo/X6cOuN&o5~#`j_ ^*b<q,c+1ESBvҰ'%,J;BTԺP9XRdҿP&Քt_?B3G5Ԓwk)#CbZQv<M׼,s^jɛL= ?c'6RFVR'#Μ[*呡R? ĵ}QX*jr¤6L1,˶lŕ8/z3"FKK:9p2z(}Y41λ̥Ј!m]6RwpwD#K[D(~ƪ Bb5LTrIT}›vԏi>L"]Bf $\%@:p:FZ%+v7hkCreq? ]b1Z)v9Zq +:DNMm(owM{T~cM;\}\~ֿ!!˲IycqޭUN*g0^aQk=e9V^mK/oɦ3 Bv^GU8N һMje60gk= 0Q((c C)L]jz=>#άw6)e;9`R0  P=ַQtCwyÏ'j?{ӃݍxzqvpKwyz"`/MdkS=/z\K \b cgvVXp#8I@jF 4ݦ]cF pmgYZ38f5b743563aec5f7be8f5348920ba5e34b4f17ef79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4 eb37e5ba364e75f2c586fe34fbb117952048030ffe3e2d94bf2df61874f568cce114d5d09fa199a5   HOL-Word