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 QQ,I D| ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=23.262cpu=24.700gc=0.356factor=1.067zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UIj0Jz'֬B||޽"J)"WCF`O,+[f!8.Iϥïk601a Ma잖6 6(Tgm` S8`$=֨ڋvAcJI,A}Cwuk兗,FVǀcŞky ey~h>?c#"w}6{wT2A^ Q_һGz`{{*8;k/@ןYuͧ;{J{/xXgWx6"*M8e|yMiu;k /ϝ00a6azB.Hl.Zp N\<[*c֚.YF$9 w8D%L]'px4&G( 누35Rۢʄ=LMck"ƨ=۰⸱gYZ7zXZִF! z"5]ŗXi%66~UozYE +!,^N^t_#3}tV5 qݪ؋Z*"x.QO6L6JMJH#7C< 8*2Ynn_o[:7MznkYR?Њk25 2vZӗm9\-pOa^WBFTB)5mEo6uX{+:my`W]F#yC0Dh:Z5`KpA*9v2]d?== rڏv7,F1a^S1FqKjۗ2b$2ߵ})7Ը823Rv$fuφ%o-~L+%K6 1EIMAv53IG/h]ʼ")#i;;o'0T@6AU 2_9U)ÛRba܈J@ڬȳXoy6*gV'd0e*tJBok CczBPH*) !gxgnw֘u*Ғ,~DD evrQyI9LA׭L9M.茠C#ޞMi!ݨLI9X(52kBᕪD^n+@7l9i \YS5DRRqfڦ6yة=uКn| EJRdf`x 1(;a/R'UͅYtX࠴˯Rn>DMsoaJ/Ylz|F ~"MDMP˦@w%ť&1Ӿ6`*1HʿH w® "Wz5}\:{ja^^}W`NX.w[ór~w(=?" |.@]Z:*è?|JJ8)eT99hlXLFR滱ޝw^ UL`6o .}8}{a79\kюW0RIw 9Hz"eL:)4m"kS8[ 6qE)Iu-vp*?ZF6**H7"!t!X@HTYr5Y6QklyHG~ycpVOR*ǖN,t/g%+P*b"8'p\?pC=vH'~L֗sJG~䣾b;^ Pf]ݤDٽeNMEX"/OȮVq+ !Di@a߈u=Ш>dXծYf}ÅI#&K"ꤤ?C>bE~[ w ,2 z.]w!_ Y]ڲh}ؔ uڸptYMHtТ(.Yjо}\S N،lD'i'ǧ +gYZ0ee1da74dc26038f9d330de48ea02c5270b4e51f 1441a0c4518ac1992fb55b3af2a7f6bf7330e16c 2233358fd06092100c018577c0e26f0e9bd51d5e 23330bc9cfcbf3594b1244b2efd887b667728a17 49d8d169e06a8a1176093e929235ae2ba59b0fae 5e44d4497c09b168a04214f71ffa6ae664544832 70051d2adab6c377eb075a02813092f11631be7c a6370fc82b658be5961290b9e44657511e63f929 af91d273a06230c3f86cf963cc7cc2a59bfe5e26 bdda8c4a7c9e6264b467df44cfc79ba4130d4ecbe4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 !I Types_Tableaus_and_Goedels_God