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 K' \L ] HOL-Cardinals:threads=6elapsed=6.433cpu=33.660gc=1.176factor=5.237zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIyO '1dFgi\eVbƉmߺY`$JnT0m;ZXyj yo-k-8ڊp{eȸ!gQ`J mB Xp>l0~J[+t7K9=ݗ _j͹b%Lb6,k-W&BV;*O]@zZ*Q5X.Q%{װECyV1 مl<0]_\tZkClV deoB%m!傡*qV (>nRL9BƉD:VyjҊȌ]O݅0y񚊵Rc36iz͠3 v<-AIn[~<04jGFcpp+uOnD zOݙ_`F $wa~> cTu?$%gYZ7zXZִF! ;']ŗXiɟ1?ߟt;9BP2CZz眭5 zvm!4h€+~¾wTf3UQM<L O?>s@`Vox,,vΒ4Y*?̮=Z10 s4YeMb:K`u ܚAE=XTa~ =kga1v-0$MOs@t/h52Nqtn}%h)sI\ s RX7c>ޗz=K^wgYZ7zXZִF! !`]ŗXi%90Śē`E2^w4--UMk;76 [vSܰgVAGzJƨ*~0Cm@ƒqr!VmE͏gwߢJ`}y\Tmb-P2whN m>w,Ob5_b4oٸP hr&ՊOjZ&Z"b\A'clwT@oNR8ե 쐜;W|G V!J+ۑKҚmhz gJ!&hnȒtajuԫ.$Ww\5SZVs^psDe^RR9%[#LT+۞l#m JkvX1W@Y:=\B3/-gYZc0c3285c09909e40a3ef6fb15f7e2e200b6d0f9037873e0061f17d13c4a85581673448df5586ab38 676afdd0f22cd3ad42a2bd84ac613e2d29a5a368 55e1b8cf1764aaad66ef6fbbc4d3aebb0896a3b2 ' HOL-Cardinals