SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
# # Z1 l< ]S]Nat-Interval-Logic:threads=2elapsed=41.883cpu=57.416gc=1.568factor=1.377zXZ ִF ! */] ŗXf1-/6vR[o]dhNZ!*-|
#LS>䡩uV;N+e WR_^i GUMs DB n+szbGjySb~WڲΡ~_ƊQK{N&TԿ2;j :.mpTE8?zpfd1 7/]+zѫ{" YxRJ Av&n3
F
C'*a-# RuŦ2y6ȇI/]vxoa? $:詑&~~bsãfjB k&F{T"49-]aWqX5.G)nЄ/
Yuf҆8z6K8M o1QW1.h<$HS.yX8M:|xG\m;ygc6* q)аEc耞$~7LV}QGs]( OPx17+U^ QFq H 4+ N& U rag YZ7zXZ ִF !
|] ŗXiɟĊ:4OHsS9?2N&JOQ5cTWs5tNCk)j y
wBk9Xr G
mg0w2_4>7
ME Xس$ 6g YZ7zXZ ִF ! ] ŗXi%;~ T=&aUI8,V3@*Jp_ dUp\ AQQ_A* PJ)cΊ
li׃Z9D(ލr ]KT.7$9Wyal ޫejeI dwG#Z03cBo M~3R̤hZ/ԕ]P!gWc, [3-I밋>&v\M @uU K|r # ]ݍS4-ctpy`Ͱm H!I2Kt6Wpё> ,g
C/rD;5<}ױ@ x8*~F_̡w9x?#ELǾe~`tp 4gk,=>ob"SY%{qFwT9 b]_Lz|w`\0( x]2bGw}Vwrj&:NPLA*0uHC{2e-S }.j#FizqFͻS"qp[n:+' G_Գ)ݱ[ K>+mN?Ȁf2&}W?]\dBFyQIH]-^ӵXnY=_We Gia :jg~O}! Vꔤ*sb ԓ[?8*f @a9 SƋv2:/2#]d!_`d!4nTS`4Bj$/2$ E 2h# +lt LB+
ABZFyY |gI+)}.;^IC^i څENK8%.Q~= YG F&" oH (#c➃N4 |r]4:ǀ 3E8^"HiBij2zvhh' :@ڂѵMb R4eV[.}KXE=\d
<TL>M;k\ dǔa[^]yW@>g o
_u*/A2": B*%I\ 9ـ'
nG s[ dELQ `H&$e )bpԸq}O?fRb-ƹ0fible =5\ ֭1X`M쾊msO
:+_ʣu.ovOphApgHa==,sGɥYo10_'8 r՚N|l͠&?o7B
jLIMGƻ7e4e㰅y ql[N x^`n\ S瞭0Xqϼִ o/U6 Fzc !9 #2DSW e'/){L͓R#x~8.;_nRD1 F$AEJ6Ig $"R l+]/? Zg YZcfc81ae3d99f21d2291bb3485c6be373db39c31379d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
b00b49c8ed70ed453ef127711e671cb988aa3069
fb46227e6dbc4aa23917106d47b692e8658994af8270fd2ff9ac5d5b82f5aff6ecfeb022e8665a72
1 Nat-Interval-Logic