SQLite format 3@ .;  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 NN/ 4,4 ]/]HOLCF:threads=6elapsed=12.816cpu=41.052gc=2.948factor=3.207zXZִF! A]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֚dI{[,eORd$Ig2G^ZFߘ$=\ҥ鿡^<7?[FZ.laS#(~ڴshӺgoŅ0Ӌ!B{GQ)j44fT:$L!J">UDz1OrzBcY&y$)-GDjib: 跦^4{G\6zNVVrޡzztXS5cj 8{eJugGw[O|L$+ 1w5x*A*-dG (!l $wdµY7+Ny-JMvVvZBF(6~YJPB?]JW-2iљ,]ML-_Iŭ!fx&vR,YFvqKmuLH?mT֋!"^ݥy+ݤ>`FtFtWNr'qdPSݒ!>\ ׂ)07y)Xa=t?(,ƔU@ |G-$츐8y2/۱gYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]k/Su4w) L_Ҩ+rMxc1MS[Y暈WNBUU2RAբ%VXZ!1qid0 TZyF6vHN\z-r;q0;uGmj?B3&m&UDev)4lFb~ {P=(lx0/*v=\;e>37u7,>"/r"h^*m>o{‘ShۢWԍ?C/ebB0n%AA鍙3\g9GK.WvASᮭzlZ+4S8\Q mܲ QܑZo#ZKD}]~ +B62MڊlSv&t!(?z՘@t+9Zv&P}J Җ)&V5he=r\Zw>gYZ7zXZִF! H]ŗXi%Ixo LJ2FiAuA35D5VZ&PrZl:h漚m'&awXmlνڎVQglZ@+u|MT. XR8FR,G^H]wPO 5J_=¯wOuW5#/m[O*ӶG {dWYr.Z\$b*!u+pxQN{2%(xC3+J$ϩ[融dO/ bj7N˾"]IYǤ!q5M}7wa%>gw:+s8OCr6JSʞ?q$ZMccŹ,Q3cx!(5tT8 H|\(@_'#1\x, ۨ@xʬ=EVG]GL|Dn`TƼ`?[yin3gO Xٍ=r7Seҩ bDFPc|'1Ɨgi1FjS<N]`ĺ6$,a@VՀT&'1Z_11?;? !#[3 k1CP%T+<G%9Ws>Gw9>@c-^Aq\)aAw  ^įC̑ {5QŒHy'Sg5f4а:E:"n@|uM2XKKd_<[ctGcC//Z}"SY-/{V4jVPa;Jdž^(=ˢW /q #[/o dUkStM\1#yjat@  @?W\12 vrRoB0 EQ_C 6s.~c]~.ތLK§$z6Qy1L.KΗ|j,.D2WaiVsEK59O؆&YԁJ(.ݦf,wbuzb,m]9Z+OѢNBؔlc<͋d[["jJJpS@ym1up4!y