SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info jjo? dT  Program-Conflict-Analysis:threads=2elapsed=47.163cpu=91.056gc=3.228factor=1.937zXZִF! -*]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUD DTqPMY106l~ճ&bcNP4/?$ @쳷@>} *ҷ ْ{sn7i%J`OeYm)tF|d3ĆgyeGWKM^N{nQTx2:`^5 ? Program-Conflict-Analysisp=. !ox|.c)|{6[yx2RA!~L%:UOG[CLAe/T~N'cu;tc9Zϑ:X^:^ߪ8J]B$U%mO :PH\)x=-'] 5 z[Cu8@@m:YՕ]pUʔ̒ @bRO"Oèi(JB 270d{-3Ɯixc˻?RĦM65"v,[tbj1? z~nics5ӽ 2Oqԇ !s9 VW9ǁ {lPf+*pS,a=%W`-+q%aOG:Lӱ(5 Dـ e0%yoCbM+X-~&l'BZEm8ާz2L)bYvk `~Ӡ4#?9ӥx57s@|E?sΙ1~c>3&܌XQPB(^GU:K?B XDju m=*m *qt3igЄ)q0Qyz%nQסT^[?%W0@϶6)jiN6{ fy̆3)9 ,X!|ӱ>-V n} 66eyB6HXFyKnS'zX8*X 4 Ap#TP$*H7 ˂y9 LSҵ÷DތxtD wHJ|wd,Ƽat"GrI H\I6; `D{ʟr|Wz_ &Ô D`&qkĝby1xS*󅑷`΍)dRўÓBEƒ[Z}7n {֭ DJERv^fnQ_,唙1ca  >Z`#(]{` (q5O OZާ{RB' q?Y9L{dZi3Bf!X8ȫ:[xT]Q Ndy QC5gf0&@U,`R ܚJ6H~Xwj>J}<ҾقTL&$nSvq}>կ^_FsrASK?GVU۴=y?>TpQ9۝ͣ翲w҄K|=:o -f0YyXEoT?iտ hepmԿ:+lOf;*K|וP#nlň2BN҈|i~4DZq}>Ĵ`H:i,8?U&) E@dZ2\ayZCrV۾M2QyR~E[Ʉ􈿌Sބ* 7qZd乳fn̍> %uO%  DVCzIX:?>\]z"= ;0準pW|L#t߄ǏKvhy |"{2N+XIN6N ~Ra\=ҶEժU1YuG¬/0٢ S&hVǜ) n<0N,?k^>%s#%2FԤf#^ ':ZVeE Ѡ}Gr$q_eX]uH,B>XYZ? ´;2`5V}9xHd&G\?H`\l3%sۮ d3UlGxBLE۟ BQb <3~`_'='4ڏO5{0 GZQr[`#;,̳W4JwYS1̸yy^UCɝ\ rQtϏ=4lT!;uQP7dpR+4ϸ&G.8s|o .mHWN!9A{T N#dr`m٣4N[|_ A'R`J1A1`qt@Kۿ0hK;y8rD; > Ov\0tL3d[B㣹Z?-*'i ©C}&X%ć_plZ6^5mc9Ȅ5/|-Bv2k3~5>pbU@Kz=;[P-^,:C8"/ KF_tAO9|-*IH Bxuq % ϥ4iv.,W)5 =UhX0S Ls8r8|`y*bncPʼSG>%NC2vCư 1DSJ<n1'&n*e|/S8Ym7zgpy'(bu}ͥLfUPt;{&RygYZ7zXZִF! ]ŗXi% cReڑQYF)J އŪ>RTe=YV{ 4D6~\+AW HA0b]G5CWq7KYyyVͭ)ђx#LjR T%jy nOxqK~d I.Q.LS)_hbDPo:l֋%3'Q[#?3P=+oz\}GtQS$3>:2TV=ކMj ՒCEZ3(I*Y-ڇӢˇdu.؝EtG_@AI}|!F{42El_YlG냪٧ ȩMrQ&vr$v2g< D+s!l _Œb͖柇\QAe,vKBw\]$eù@T 8Lިъtyfrv0J\@]_}sG ]/6sf}"h~ߖ%Zyɦ_9 I{L|CۥZ;Tw>cWz"D<=(簐 %KݗFuus& V_>&ZJCp&z㣞+.Dq|;zY.%3QQoU巆hʂ}H~J$P;~`s"?&F :kh⣤/p'VčmaeI :eu _V dG#ǣb>igE\Qۓ 9#v볂jK0 Y/?,vV.*rw177H_$En7).G vR| " VtY!VG=Kjj|50'i =ʶI ".a,kM(*@1:@ aVPj[+& N/Q:Rƅpy1`< N)>E8r&$>cjџKՐl[V͆Ô H_0(X G#=XѤE") 7mYoF!W94\f]ț2߷73 3\U@&Ut_vP/ BHŷc\g9҃݅H֪u>\& &j:ǬqP~"k }2c ,.nmWf2r -cdl=g c& +9(!󲢟R$mB?CZ,@h+.Φ6cMwo+v,תQ3U0PmމP. O*";F9us#! ԩps16a. Wr *D^UkjK775xAF :PnX il`.*/-@D,SMTЗ0 TEӾr!QM(ͥE $3־;?56sbL/W(+4_O& 3Rx8)\V)?Alk,ή9h~<e>Z%\b_˃ό4#HX0:Y'jAdJ ^27=m5?6ewK ыk&LGbیPNfFMBK=j2*?Pŀ$e`LV[\{ظߊ"|K]•)3_JxD txիMZַm4cRߚǬ$!9H HRԢE` ]zv^gƀ gYZ020bef6fdc9d9841987773162281fa8858e75716 31e4563de4b192be88e0135105e1bfcde94ef5e1 33e46e68cfa5f5ced44ff0dfb82522c6a302827e 41d367a2a17ef839488cd0e7b6f5e2456205baea 4daf0bd4692bb5817d7a2391e9d252fd173637f9 56228ccf170545e05b7684ece956ccc14be5d4a3 608f6e593f5561870ef3a8aea409a6a7134899ed 8175f1994d40efa61f26f0193bec7083fae8ed52 90f70e79f933c9d69e5eb9a80ea07033fb36d9e3 b11e4b0363d97e2f582f95ca642b83bb708df4f2 b58bec6271d278427bdee6aef2eed0a1d5fd6d8b c3c4ece7675d8c208e751ca95be74f3a4d1e400f cf21bcca54322e516d177f2248f9d2cb6afa14ca d3fdfea6e6af8236274127ca9aea3b49f828163e3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31