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 VE T3㒋o W!EKAx'Ls 3'YJ,$X,}|Br:m*"bTGgPƽ8pO|BuAzK\M|ҤFCbSB>$.F8&rϦCxWե=v יgD3E!V &I=$= \7!gevޯ.=yU5݃(2Z'ӼLo4CzBbI+d4VgYZ7zXZִF! p]ŗXiɟż]7dSWFQ'8x^SbZ rkEjڌ` C bPd>c$P࿬ ϳzd,Űؓ,\jgvqjs#+}(Vpf`higYZ7zXZִF! }]ŗXi%>gp_k&IA'eC%B2,ٲQAݼH| T4> c%_S}onXisƅc!Jo]f&S tA.<9~/}1eMuj.4ɼ/ꟽ*>)v yK(^D@v&D،A _b@n;$<mX5wa[t}{"'#Ws@5b/4WVOv}hH'KI_xe2~_G8>=m" r NRic?$W~*qGhMh-`{}$)1Ίk(6VAchb0Q+l ԖkxQmr*AW=I }Q yEeJC1Я= Y`'BWQ0ּv1c+"<02QcF/i'ȉvl0dnj[:V:7zZ)F T* ~jlʹÛuex#V+ӊGFhpߙXJ}/e*%fSڍlDS7(\͆ E'e=y;26a^M p,Mmڰ!u9GhˊO(Eu|tk ycM4K veA<Oc(Y%2h#*ξLl5rC]j+"P|&!lri.6=5 \d%iI_]pt%<ҤY`aDtG6HKrpcYؙAsN#Mp= иaѿJ1梖 ̾T ou:A?6t,qa&$*[j=t8,^@\`&yߐr0ѭLջ=ket@9VN|+ ݵk~zgPqppi؂Xkι3e>T9ƃM 9T)2(/mIt(8(.jlp5v,+jwRYk 8-Kk?/C$%a( )h[6խN}zu[bupp dD_`1 C( #3*Fw o` M°j/D`ߏ|OR'a2g) 8ѓNmld/]KTGys=%TkϿJ s 5xxK L;fZQjk -8l1 Q0gi9#pHכ]fWLe}$kH* G,4Aٵ?):vU'-bYN_m'd_ĩL ɥH>׉#USR6=p1ǥM(]q._l]}G͚Yb@5c h `zhϬRݏ)l^jjT˿"S:Bu?J )B$ bl UmȆ|M QV]İ_ R5_".eIkc Envgt*y[C'<,/ZE&Vؼqm[h/{{@+N53:6BL UTQ.DYeO⌱gYZd86709b7c920ed2468fe164b3f90f5cd5b05f4da767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 E Name_Carrying_Type_Inference