SQLite format 3@ . BBh77otableisabelle_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 I l< ] HOL-Predicate_Compile_Examples:threads=6elapsed=48.660cpu=150.684gc=8.200factor=3.107zXZִF! >]ŗXf1-q恈"3UUMѺXS8*Up& хv$F ]EN7dK݋+`a=JMzK5cJbԴMЫ^ ьLە)nhj/=P8voo]TxnMԴqf5sE$2kF;lKc1o4tkJ5R!O#0 zcZh\!6]8J 1+!'%bt#k1C aA(~YalqC[УIڅQupKպV{mpV@,!IquA۱nzo*$M .-3 LKtJ1*/ ,@va-#+FNzԭvBZNx{S͝ ]OCTHEI|0(hv( Ieqk5`SuG@yɚIKӵc^z_K?Gڇ ArƅvǨ#28+;<'mUa,o9Sܻ#p ]FXphwF?ҷӧ!GJBCxk;}cy%YCDa{e'`!ʲ%"@测Ŭ`k+p[h woV?p:h, k/$!x]90y!5'M+;v@cqBCp ?^qA+01؂e'ju_%)oJ}dr! B! y.gYZ7zXZִF! o]ŗXiɟ11"7l>_5N: [J[5;eփM 6aإ6k=&/V\0?85 Pp_tXsr1ߞM% O/C }9^4 GKXLJ ysvB`z뤘?ՠ)#aheU](OtL蠏 *9GL1^: &;@{b岝?N Q^ !I HOL-Predicate_Compile_ExamplesM=SsI%! Тğw7eFʡHYiFr&Pʍ5Ś1&H.LIԡ4i@yV -ɶJi5 C 8 gYZ7zXZִF! $]ŗXi%ύ 6&!>=iכ ׃O u=leGyIaIQZ:3#ܷ|`0gn!Sv&a~Yk-5sWd!=4ВFS.*FE5xde-^gօL}Trs; OGҌVft-ͺ*SeP,hjJ6焖 719Eھd5lⓉ7oCWe=/t5ɟK~~4m&`xIfIfG^+v\Lmnnt56?벱 Q[%AlN,zoWd fdMJ#'J؉?zK}(?oU݂odSi\B v/f4u)!1pP]Kg [<eQ00gu J~o3:%sNoHOՔ(v=)CG冀п'@K=Մ rN-)H\%9a I/j}О.o!țdwOU9y̱zR+~T谧8_Gg϶F)i3Hukg@;/)I:ƒ2=c !ٰ AxƏ0#z`^ M3FۓGѰ7*`iwk_k8xE8H gǁ\>.:: sm8{T(w!th"쵷!5f; $^)o& Sw8F|pӵt/yJ8tA4{ ^DTKf+MCS!L5{Yz.3,Qa̷pNN$'[_̷] ,Ieva[?Rs/Kyo>#I4)O[)I#9&fsU\ 6JowJա F2v !*mVAj`d !l?5<ݽXÞcC`qcX9kou)ߙMFjAfj5%n>:)=K
x8T*m&X5,t,>QtvHژze6{B̕QQ`Bdj5Qeb!Hs7w3k$n\7 b?G е]p}ZF`6aNA"՞O,žlwa؍<(1 mA 6dֻR-x!!dA{+Qjj%? ó)J$ӳB(E+ǤJxQ| g^2-N1hɁosN +~[i~zm?dvѲ{ I7]\1 Iw@nh=&=e/:!:b&o+#u^:`9UY=m"*(gdܔҠ52ֺG6ŁCrxUsU%b#U宀cM5;_NU$$+_w2)]X~x_lA$;Ҩr{IQmdcY6Q9TS@2˪Kb|+DRpi˴3[nC9#o<}c eMВro$hX-oxdI ?2ΖeFBsDZ^JS/4w!VV`Bk[W "KQ||E݈`劝p#_>[dl04 30$'HEj<% ޓL5XHw l!DEBmo-DʼnNn$WC^j 'J6$ρ|S{GG\_Hp~k%HѨ]Ju -Ln2YQA#Yh5RhF F\0 I >]5Bc:P4EJtJl*ky8T6dOp :YI"?ۿ geomTV D]=ڛmt^..$n3Ix9F^|wey R"h\L㆒ >j$ C/:JR/CЗRo\3ub=ȃelGN%23%ҏi XpfMԖ8K5vk$Bpg/ESӧ;{1W NH = pCjޛRH^=mjQ{oF1s=7ܹwa< uvM5 m,5SETkh,4D\]RQc66yދ8Y\1]'x+bLN:8s{ {J$"he,/$%2Ѡ_sOߧ]"`<r$l-X0;{XϚd޻X Q(̄z.w喚@djrfC(A^HtFྋ\{qx*TU+vv\&+[*\Q_4*bu5*ڽ:W{J.rpZ9+QEvIeGoQ32̓ `t@ZU8+~$*>E{ V27P69nnCovo`8 _=Fr~ꩭq`x}=