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 / |< ] Laplace_Transform:threads=4elapsed=8.287cpu=31.596gc=0.448factor=3.817zXZִF! @]ŗXf[& ny$d$Auc}a Lv~9G=RK"mGG cFZħIFxb1bZXz|mL)ag:~֦g[_rz %}=xױяܔqn)+Pf6< အzO?Hr vSDv?1£ɥ~y&@h|~䊸퐽%˸zI| ZP#0M s?ZŲt iHStĄ E!#gBm?욡U`ycpwYCB[)}7WRi%/!a p  }s)z޻_g 0F]M(V}!q旐lp=D͸17uq9g\wߎXTvFm"IFѡ_ߒfZ [*ٛNZmrN?,?Ja'OϦ?b"n`(XX1scKYs7~f[]{=m b>y ^!D\`@l)#)gYZ7zXZִF! ]ŗXiɟe9 V<_xt21 ~s-㌕O@g"T2M7IaXwM\>॥;zQח 4\,o IׯX%E1¸.dnar\glڱhnl]MfQf%rngYZ7zXZִF! EU]ŗXi%L } Edk DwZms +MFC.VF*1(9;?i5ybM524v9jR]C )'oQSՖyu*!S{usW#R<75HGGRTi]8m|+%[B#q#;[jwoo4q(WKi"Pu --ɮnW^(dIEp*FSUnE)/}EdhBWe ȔG(khHv}i<\vq?%nw Za`625f=vu޺wڸ+Jq9&Ug di]􋠓\Npd/wdDEє8YZzхCJ>F:{Ji.ᾫxB nH uHkXSk0Ÿc6NՏ.D܂gcEbrb 3$fW)4t 萴,u 23MTtzFA,D?a |-JbB3)2uͨv֘zf|B%,e.H9oÔ# XtҮtlAhRjdK9`/Ugjvz丈FΒ~ 91YyNdAT{%~֛2+Ɍs+(U`iDD>\T$ck1nISC=ecB&|}ͫa BEdc# '`!kHxLs*YuD]M}5(pmA.C)|CՁZKU/,yw]?` _(Woe2t'W!2}ݹ RY=$}h`` (㟮>&D1>&M#T t[ г| 7AfU(n)/k[ff~ @廬"YsWA pc<+4Þ.lAY`~>fz>ƷoJ-_;ՙiR,(.FyKzJ'sk\K1#uFrQ:O# ,( k%C.^pWB 1zPر%!-uV[8\_Mf1yζ.b_N|, z"gYZe897ebe64053df61cbe86e873177c5f41baf5267d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 / Laplace_Transform