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 ..G;|TL ] HOL-Quickcheck_Examples:threads=6elapsed=82.133cpu=172.068gc=6.352factor=2.107zXZִF! av]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlE\qTUt_Ij y?+ݞ'0='&n;$S7yK d,29&RŇ^łhpJ BXf&m_2tjn.DQ0+UI~ʴ[;u7Bd~ !Zy}l'ťù;c?;Eshf7Nˍx_zd[q&[g$xs 먊 77@V XDr0{N4JKKNh VY3݀ۻD_=_h'{C"iE^=mTO+{M RX:n.V$KҫGp$rfc˟ozh9Jȳμ'22EeSjIwTbwLDHUUZn?^""8;:GQ s7 RJ5j7]0Bc1zK~KU^j\2k7g1#>y~hu90K]#D .+uOniXax)eYb^\NeW؆?{P SVpK_Ñpt!:7wú6?zIE3}`{O]ʱ<ʐnV}g91A;fן(| l "B{'X)`,zSZ9hTè4o/Sܶ|CBpu7.D[֛ _U&?ytݰqu8gĤ)ٴo(7Zqª=~G#,`)EV9bxl.T1@gB}RG#4C`\qXl`t;b$,>gYZ7zXZִF! የ]ŗXi%;Yz$CjB*qw\V&%NI- fS[iciP: \iI*^'p԰oR ; HOL-Quickcheck_Examples  c!;TՉ~l_R@QIs\G1\zZmc}In_G!6Lc6?Z%/ {mwu%w#hgW@ֳp=gddu0X>^#Qdw;,_XhV7D $ ĞaY5j땟R<~{ KDzL`xܩkDodS *z.$)ݪ D}QEo-c'UoX}Zԡu ]."%\;Ǻ~lF8}3lFwD]fu8d @ #ȿ#QL+ NẻW i1mtCcY Iˇȶ v/3HNXDr5˳Vh_j Á:JPZIh#}U]Gn%CU΋ge۲| $$Bb5pJc6;nrB/=( 6u%}XoT">` ;;&s&BUvE%EǓeea9s's[ɠ_Lt^@ BFf Tf74 7B(~[eXUh4؋ȧ"jmyF1vWӑS+ 4.WPaq"NNrP0ߥ%޴]:)9>UfLvL6‚;7< Fj+\4ǢQ1VVyJ`- B)e ۇY2NYc1r7̡Zso rKU? )DJS!D1eTbH=z˸Ez@}OyCB2G[wOkO&*"yt=cEU }bIO9b9^sI3w9lDit#O[Rhj0?@Q6UС+,}s "AE`^ +1cwDwpռ"YxF$If׽$>+U֤A' f!~p/QDԅC C6_{8#XPlg_xxO Qg8tB2,X:5Uj'cX -Qg\}Yڤol0*l?0  )TY~ڰJ8Ėܠ߿ٓjOܝ< 8TI \ƛ(ͭ:Aċ͑Jv.#}aqԥ%Hj' =9WXKS!0߲oZ2w$X5LZlEMC򆯋q "=-6NFNO?-M $0ACJYa zJ1r=.yN +xE]U#dۈZtdԲq8OP@qk܀eiV ZgȩT!GE-G[+oGk٣iՃr돹6yg'֣}k{r|$۴\fV9^|!nS=lk\3徨M;~'-cY$Ei'7w3:,ڶ(J?! .xR_C+Q2 yFyi.2Qۯ_3Q3^YDS.i'މ_Q Dxì٬GvIX_ fq'y5[?E <&!YBPgyM4,><¨Z'[5e%Ȧ4!B;_-uɿ Hrq0j \ d 63 QZKT7~*QC46йG=6^5_G!-uW7t %G By}ĖlagW2RKR)xVh Ry?{zin^)܌J%!8G9UTj@}B=%/:BX|W(D`5@ B{, Ѽ]8Ƕ\UϘU-'K8%|N#q&]QFkR>r{OEgYZcf52552310a1bd7ef68c0b08aebc00854dd897b2632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf ca6f8106185d335e0987e63132ec96cba44ad44f 999dc9fb1a79bc2556ab1fa66a674af162d487f9