SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 a1 <|T ]S HOL-Probability-ex:threads=4elapsed=7.764cpu=21.876gc=0.576factor=2.827zXZִF! "]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-|qQ#|qN`!z;Bm1ZGSojmT@t]pYD 8>EIEKLꥯD +9aHy@TzDv_bLSzk}HDeL*Yq`,W/qon81E'XeyM-ڑ RGmBRy v@N2#lNT2J?'~T@cF,_cMJ&ZEFGjԭ 3Т`$B,׿a A!B࿬͔j9 jJeDjM0G2SCұ;7\4@/\1))mV~:2[ ٗ]{Q䷾eWC7ofHV=埠n"U_E=K\qK`pce+pq8["h _%Bʵe\&yz[ FSKُ!{ZzټfR"$wQ ;9 ֋ 8@tFFP=v)yD tח$%Mf)sF an(IJWn%_4x(F6XUBÊSQgYZ7zXZִF! /F!]ŗXi%L S*Yv3G0DP0/f+!wϙYסBQyD\#+o |ku`eM.x2_pytmDMYo\/6Ŗ`NZ[u 1D.#0Dž3fscm6_%RC)#lE0)^j%U横T]Nw0w9;ڄWSlJ@t]o9R5_N [#R&?![=/Z_FeЉ2weV%7@&*ȭZ^gq$eUk\k?RwtI^/ 1XbHưQ+RK^íl4Ї8:DJ3Q[{z =<;@`uN{7 vZ9[Q߶15Za! sH?ד8R5C2@M_)뢭0nvpɹ'7Z}xG qp)Y,eTyWV: ,m_c;p