SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 77F1 d|t ]S HOL-Probability-ex:threads=6elapsed=28.884cpu=49.800gc=1.572factor=1.727zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E۠{!͍֌(}kH.D$Y?1Lע2 ŶiN)fv!߿=#u!Rr̄6Ƿ3ٵ:8.-porzM>բxkѼI||]JpxT4#GahS8՗ jȄA9^.PÙ~R V 7nL1öe {)3A˵:gFwmQUxN6[29 bd-UFE9W3}i0 '7D|x;lo<тzWA&!1o V(L!bISq/WQ3.I ơ}DXlA3"^WsuΝhi(dQ'vYaOۀ4$qgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >H~ߔT"Ȼ֍ w'>˱o$FM?oŶݼC*/7)S9~Z5tY<}E~[wpUΤ;4P*bI&}CH/x}-ՙUi[EO*$i gYZ7zXZִF! ?2]ŗXi%@`lD}i Glˮ䪥mYԥپD١r066K+c)`5 TݞO[['Hl67nXMG݂rk26Uqݟb@_V?B,rz}qU](· W{H2P<{zA&SpI1x뫇vhɳ`uܾe-3{vyCn5CC?ɥ = mD`ax$M |5}ߣbqxHopҥT.tۨ`i9980+∬ w\!V֭k,D)pY|LK7.N(YqU;z-҆/3/GJVx4Nؖ0Bvž gNEN|Q^NN?k㸊V[c‚79Ht\[XߙŅˬ7!MSZ}(-UzipFtY;IkrN/6fMA}\?@C=r6ae[Lz= Ky(X%ZRiR3z((PǰK=$"+%aNer=}lF йe Lfxh$Tl2`{bȴhue'Wy!|[P3͔ & dQIv9 }}g/Er5a Q̟0A'pac lbǐ-`I(f6Z/ Q?|l? 7L]{AQ .!5(yΧ!z%54r4P3OREr߷Tfr#wT߬ qF~W.;'<&I6h 9ۉ9->i AlrAPYT[p ^݁Go16;.p q;S.E=z*֘7L6;nØSd}xT2gF]|:g1aX@y*/]^+va}_7xYuǍB_Yi i勱)ϼ)vwguA2HHqHB dƚq0hW괰Nr˽o=uI.Ҙt #