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  j5$l ]S SequentInvertibility:threads=4elapsed=39.402cpu=132.408gc=11.948factor=3.367zXZִF! /K{]ŗXf[&QeQcUU)Yÿy?8}z/CkaBި陆Lb!"&ϯҟ0oQN:jW2s \gimcJ#_ô|1ڙ *t%GFn0QpmJ=}wyƁb/8eΡ"Sq@) €V9VcJCykY'ϙt?vOir )|9 Q5v!PIKGc$+ JO2F6$g?f/WDphyLL_b *="߲s*ҠװI`HwY=Q֋iu$L& C8+hXYϵ%kRR0K^>ݓlw: v bW&pkؼ7:lvnp֍tB?Zٟ Z0\pK|Chc Ŀ 7)Ns( ABtETkF Ijl(}YOB! qtOSS:yjZD֬1Z#صs0|#ugBĴzZ šISr?f0yDbN֨Đh^҅j}UC #9QQҌg(jU̓ww9&Qi@ 5 SequentInvertibility  JgXeKnº0C- j ^SŸgYZ7zXZִF! ]ŗXiɟBܖ& 5 £}ͳR:z&׻j-LA:2D%m\a㚿T'X{gGN|2jKbe5vvn8Q$GRnȻLs\4L  6:SJd7m2bbϖ*Y_QtY ݢ~Y2.`M<=b_+zZL{Ÿ<5 C)vH=#C83Ї_U.\+n_ea)0gB /Q8l_ 犷 fՇ LZES}PC0KDi6\yW!;'XTr%Xv!V:cnqqOp6Kc*ʵ(Khf&S9_#!^M~<Yj,dh;y[^pU*%} zq:.xP3Y#B9yr`nt,,t\m(98DŽ- $`3`PS®D*р÷l;61pzb|wdZ Lp-V>3;brpCJ.x4?##=H}(uOljm-iM(.SC%fm=İ֐&>H:ATIwL<@x> (5UԏX {ʬ ,vËfh16T^@L FH@a`רdπ`HK1+ nGwY 5a@Mk%F>Pԅ&s_QˢUۜ..pňtଵ\候gNUYkqsLgNQ<!iWwלNw^ 'TvJ:)IN_:?ܵƯ~9iԬ/ y;*Qp ?$:5QURe#[ގɘ-?o Lw[xiQVžZ>Q2W /)8[2>pֻ;i5,t7bmKܿdJi:kZ!fu.X3Zf&sOHc0͔sA23Wy{2 |̫Z!迓<ąTe4Єl]ݽ.NdzlmvG29otם<).^ ;dZM:7eCM(=G'qDG)KTHǵQhK&ۄJJ_^o27Ga,T;vߣLg=6-*$@s@ٌܘ 'l={#kClqyq)0i];Q nKKXPkj׿ u w5b WrXyI.g+ vވ߱0YQP> ,_\N^N\RVJw!9!: 9ڄ"zP{ݞG4NP`b?/Hb{j !EB̙8 1Ԥ7U@eDE|aɤ:ĤRTo%|@ƃЊ#CKOY2o Q\02\x6ׅ$5MAK/LEx-{W]ŸA?+ݣ8W>GE"W"LD 䀛; H *,x@ >ᆄn"MI[NEzkWs^}t_OLM x8v {|7 ygV^yڕ+وRo6uPԀ9S"-|XBg@1l@;Qnj#2T=DZ]P&J{F,`"w-GOr'MKh#ԑ lq_pl:R t%$^2UoN + evFt<%WoC`:\@ʳueNm'~fnN9F73`I7lxg)RHLI5KL]mS9R( Y {BlnӅgYZa754919afaa4bfe83c1b5f0f485edf354b0a887376b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3 c45d0e3f0ce13aeed7a74396982413876fd518e7