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 ! 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ѝbw_x6uDb?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?8Yw3_C [mV $ dmg YZ7zXZ ִF ! ] ŗXiɟ>P++\D;?!W2e6Q*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&K