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 a; d$ ]/ FocusStreamsCaseStudies:threads=8elapsed=14.127cpu=61.675gc=2.256factor=4.377zXZִF! $i]ŗXf[&%()b9&ɡ;=L@4AU,cgx0\6ΰoʀ@Y-Y"^FY5CA{\] pK {h%^JP&I6S}Ξ;ϡq+;`*%"p0z5lwGϊ[kiT9B*FP%J2v͝x20_!؈R1yTB񳌭BJX)]b,e^kqɀ  C*x` 9?!-lew%wYYE6[7"}8W)~|[9d7XX*LMQ'n(=7x7y:@*kJrE;èR5H PRJ!! }PRAa [-рܓ%\CXƱ 75F&O~ˊmŪ(_x.X\Nyh ;x&Ɲ>(3tkR?bE=4 "sXo݂nWLn z:eNwbơ=4W!Ijt+y.SE0cyRjW`Xb3@!EqL9h{^U_E5Za Ҥ =̰ƷC/hWkB@^p|#.mEz=Sl/\(OlP]؆ BtgYZ7zXZִF! _z]ŗXi%>t{N!mM~L'g:?h0;6?@ux Mzu*B넉F4l>ፚh JۤojKtx![DA&CjA }T6M mԳL"WF`z=ƙlssO mTd2C8UFJveen*Br5{j Sx [|o 3 |Q?J6%Cb??Nv7oMruQKō_[!XϤP@X*dBez4;Lz/LRFy*d'$bCpP$W!H}9HV8QDB5.|kAATV݈fSİ)HZݵ3 CH&j_Gd,g& "A>F9uOUL/mV 7Va!S:+)J !$h!m:$}0?0-Ytd ;iB5g 7߼?d9cXЊHۇ&ݚ䶁[,.Gϵ Ҋ+P\^! )w,h**.`BT PmD4lv'&Dgz@ H>el\{FG:>dܝ*(e_Uch蒪 ͙Q28'Z㏗:6TоuIp LrrukgzP/ApH|*Ah @c{gD0DkB .+Q vaت 6U'aF˽7ONUǧ@ JH! *}JIʼnL{ePo -nbuQ#rtA;m-%?Yr=6jKWK:oR[yb'B3~"+ƢWY `u7**YmZX`X?1ԅXR^0])́ȤP+w GJP*g0`P00I\?w*i%h|e *xW WG3PA Yc0H_u / e(;ax$ G9_Lc/fel#2q1ٓz zϐ\I I~:i+'](J>B5/x]';?Su; YWXqg)xJ8@N`5uCgGv]7IWY9N7Wwx䚙@ߐ|̋:.ɗjh ;z\N?YN98dx( % N9:8'&}t vTˆrԛxDt!QZsA|P*)Ӛ?A=nD'<,F{ǹf$7SƬ;~(_÷.*s1x4.{'uMʶS[p+c(TTZJ庸7ZQ N+u%w)ɱO]{vn&!]mS9l>o~#&jcam|gtӞj"Fd mE`?E9838EK40-}~ gYZcd669bee3fc83b26e775485daabcc6aa9d8a69f3c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b ; FocusStreamsCaseStudies