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 J1 ,|4 ]S HOL-Probability-ex:threads=2elapsed=40.452cpu=49.296gc=1.644factor=1.227zXZִF! ]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯJö_!s[Z ˘gOܬԘ,.ْ?dƧPvƛ,s;QX%/+^`TUL8,~'enegQe:^%~)E ;xCvZ`zA"Ig)3l,h`!.y)Ks>/qm1j&rٸEQ5iغ*2cxiJ6w/N3>JȦRKhώ\Ͼ{ $Ê6֨3~!$D+gHP#GCݙjj<8-@(ܳD eIs?< ʟ_F_*b蒴mױgYZ7zXZִF! ]ŗXi%;"Tq 26[AL3K1zI]6'L}Ȇ^uDÀxq!zį?Wu>g9 ȡ}F(T$+-'rvz, #*R3i2˪I?j>e "߳ۦn[w̨)\1Pߥ\ ;HacG(3F.11YE:ߨE YGmECp)#o9WqR5HE;5Mx1ZBūF@ap2ww)2 v5 WǕ'?"od $0(3ux%7@OgLgyi˳]!)嵰=;rkkxtRfr" 'K%4S7s ty|#D.Z)$HN4SA^݁ ]R&],;0}G($IJaFFxR?*MOy؆4_蟡l`H Le򇛛X/KF?P=Ղؐ;j$ԟNfeCe[p1G2 6;8qU42jLtEUYD}B[Q .jVw8Ӡ\˪2ٌcY,y1Ų  ibFs1u&R,\qaoKa=Itp;4cw%R1` ZY{ړԦ E֔WK6>@_Ysvy! IoN㎼oOlbhE#2OKk<NS%;C0@vdhp.?(O17fgn ??!]'sUQY=Uc! q{sT"a=xqʠrR뤢27% nH(Pbbth\Y7}ɐa4""6E,kb=u9c3ٖl2h5e\# }܂mk n|5ֵP>`qcXui07hc