SQLite format 3@ . BBh77otableisabelle_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 ! t ]%]CAVA_Base:threads=2elapsed=9.525cpu=18.588gc=1.156factor=1.957zXZִF! 9]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= 66bKLҵbP^N(߱-(oHG,@XmPrYk]Cfaf:%n,ܠw0QEŎCo Z":1p˜%]}⠉BG.z^embD4 3%x Յ}R:*yd\lП4d[+)Qn&dmئA!}&)WAWC YI_Eo}

id˝ |(@@zS1A$S}d4Efѝb w_x6uD b?1Ҵqލ~@@xsB.j5=}TU>̝921agqaъEΝnVl|Ҁ{JHS$Gw=,RM\!y %?ee(eVUq6)(g PM[/deyazk1Q3\i.o-ʵu,_w;*Q]K~cч:L10Z?8Yw 3_C[mV$dmgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2e6Q*ZZt9GH) Ufz0JȍvWcp뢇*Y?F6zb665L"aOkOcoK@?GŚIS#3e' ܅|³fIi% c$HTيG;^M&ͮNo4MaYiTJuMKw!O y3`C'̭:UX"YAY@z!j<.\bՆ!&'bNmߞ|r'$]w|t'r Jt<]a@D6<88ySNRGD#Zь n]{G;*C&KsNs:^  BgYZ7zXZִF! ,|]ŗXi%9#_OF`7пMjP5/PWvնtp\!uzRr;<`RcG]x!LgzIawo&PHvx\|mxMb}ޛ!-d)Pr"t[iǭȹ Ͻ̥z"fm|lT. }8,$~ik:DVR6j>Gi??_GQ.d&@׉4bz^OIRowT(UR/JCj(te3+ y˖t?~yV->H @<,IeLfkr48vy QXi~xYq85PqQL0"DAG(j |Bط"IB/W dr2;4*{F>4xuސSjR