SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 YY$ t\ Y% RSAPSS:threads=2elapsed=24.641cpu=46.316gc=1.460factor=1.887zXZִF! G]ŗXf1-/6vR[Nk#\S\HId/X#G̑&DEUp>+-=Mpk >٥5?WNB At\^L }ԌEBs<AFÄW*LR5>'`2wT Nt@{?5:3rFkk6*Hq27y FN¹܌{2`$C=JnUjp ںm/0EzE{T޻Qc*UMFA.|6kV.{:bWX,5V;֐@Z]8evdZ"[g mCW MU׈Cյ^3 OTͻ)ρ9ô=@n۽7N:~rϱ-#! /Q=,M11{ {_i=#,li<5U@t5QK wSViȃ!;-U1/e#iaGAe]Sb?2TXUr3C:L??PR n&?0Xs_z/T^ؔj@ѷcB@Bȫ<bNEabB8Ticǯ{ջ%JkrjJ.}}7]-p0|WNgInɵ),p> $QSLp3:+CpwSvD8g2gp7gYZ7zXZִF! |]ŗXi%Mߓ\ e('gPm$+5YfP&o{CUHD4B;*IܹRGYtR=7n,T|lqFt?]ǥmox /k,θfO @Uy8\Go۞[̪U&3pi{'a?r+a2e=X$5AZ.V_Q;J l[FYxw<@m}d)PXo`@:o 8!ɥuM_Vee4no$jgۀbXEL ;ZɪOg9ϡ_FKe|OFoVu5rY6~̵&*DXǔR7)<W? !TRVc wt;Z}Tt8C !jqvdRk =;&I{"ș@AdOV)SdɌ f9l'HDq4|g\A|k=_uBƯ.^)Do< e"\\hq[h;6~G"=;nul܎>QTy gZ{C!T)+MOK$H/d-u~|v$=#ipTHI dgYZ01bfe85db9e8e3818dfe10ccbc0c99d937ff1fc1 1feb34bd84773d3cea7fda4820d6e1939dcb5480 28af2a2862bc29708ea9527d18fc3f1020b5ddd7 46dfa43cb6f20764d1a01d2996aa51a76ed494bf 4a5fee3afd1c7d3f6312954aa68ca5e73ed9cf81 4e0bec2234688dc8c2d3d96cd7f2c1b5d5f5a4fe 58f14861781d1d9b69c9140cfca2b2ec914b44f9 66ede1d431d0b97a9ecf949112be7410a0454d64 819f5f06ac7954145a9fa92abc0f031d2ff51f50 8c46c52188350969eee9f7b51c8f59d5e2cd53d6 8c8a7f58f485ada2581ef3542d0d5b85d2f3f3e4 8f9d4b77d3a909690e3c323eb9e45a06587dba10 ba08050e1822cd4e12bf78c2f2c32f5866d2cef1 ca039ebeff80492e3c6900e2b2f61d6aea027f4f fd5ab7abcf04621d380e0e3ef5e15189f11f15ea735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 b840bd34dcb73ca75b618297ad581663094876d8   RSAPSS