SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 7 <4 ]/ Coinductive_Languages:threads=4elapsed=12.846cpu=45.008gc=1.404factor=3.507zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Wx.a6! >RVeF uL6s+*W%%_-H8GL%beʼn2 żb|*bê)J\'*=>#-[੮d\d[=tģGR*y<>{vJq1uGNi5j[;Xب0F!`^Q[Yu?2sI9NFˍ˭ʡj(LCF]˗U3T)["U4?gQ}ICMr= x䚋:N^o=i<6Þuh\FscxxQr#8y>|Ag,[ 6$q @`Gt}O,h umO\G'1#)%Pq6< rK:fdn_io۔s4:]@Sh[ ZOKDPwR֨ڢSZ랟#{\hzR7|LپK{EQ"T8gŤy_ y5BMF#KOU. Ci0MN&/FWھ,{`r)IrUPko2 n`e3gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{k3vojah fxXJ/|//@@G" wX n#LnQ`v7e=9-ve,iϋo" {tq ǔ6U{H(+gYZ7zXZִF! Yt]ŗXi%GV1FqW̍s/u)fqKWu4:#:?{EG k_D!=6@EydA1X;&1phZ^;yi`Ƅ1)hȰ D̵<,Jx~$+y2_YFmk*(B5an vE#Q~#ZW73ZvՠN}QyqH&5"g#H- qśD?u (T(O;p?B0[{Ae]RcӼOTi(/e@UjV;=)/ړ'Y L/ s J g@S] +HP./t usчtq1[B0tc,>_v |'0M!9G\v@֛gxJlvQ40yΞRudо>,,f]r"6>٣6VױMb?O|axbFA%H(db6,b45zuAYaq'6D+r1Hv4ްƐ g\2vhzZh"~̱_{򱟭.a3Kbr2'֑ⷽz [غFS&!%r6Rs˖IdQ!/'m]goG-ȏ^"2S;BO@-5=o$ xR<__8\W=cS?Țp,P7,.v6 !;ȶměТX n]t`m'ߜ⑚YeT,)4$$׈>H̃ldp;41c H I;oEw5]hWkm_ C3jЦDڇ VN^vKqN'9XNE[gOhB_j-Y(^*"I4SCs)FљUJϓL=Voa_]1 M-]wPM$;挩kDt Y@|g?'( *UT*ù~䈒)7{qSFI5`=>^5e4O{(-OTT%TYEPIf'[N1lO =_0Ⱦ9{=\vAh3Ӓi˚nj·q*k‡ qD!M A1!'@{-u^c1x9ZPcbto( #W8 TMeqyN^i6FbLƀz4)uuXӵ.kj3K)k[$V֚1XxB*B!3O5퍠|}vi vOgYZ29485235d211965967d9cb7cf239e75362d645904b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 7 Coinductive_Languages