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 { ,lD ]S CCS:threads=4elapsed=14.030cpu=42.212gc=0.788factor=3.017zXZִF! O]ŗXf[&:)V<2c_/:`5=^QO1κpj\) _d9~:"*ZJxdsPMgD`^)ǟeIK]X⾌R~EW;csnUYŸ ]qN?IlUEtΊK>0k{mňvnf+1FEPsrO:ra6@Ւ [.y"aoN YtsIpeo.(|3_c ʯ]L#JKUj8s%;t͍)~(Ƿ.2*TܖC_D}1}j _k@TkrE(eeކk~AzNܙ@G &0UZa 2-n V7PÑI Ҽ uoUKhDB%ʾ/ڈV5JWyp[(Oqw59D3i=6 1n6^):McI:ԉqAB9?VfWRXQ яv x*tAgnK&;9_T{o5 ӏgYZ7zXZִF! d]ŗXi%Bt0c!~<ƕK<ʳ~+Jp\jp69)ospJƱ2I9=dbsGe_:#,Ncj-+_ J;KO@kuAӫS|VJ"0@D01ON%Q֔#{8:m T"zGqZGDB:Lx3yAw/}tҟS!h2m0Q詣 gU_X83p7H]Ѥ#\A rH9]gO\Q w9Dp_}c0YЭUm=E"Wi hB@ 8+SJ5  Cp9_,//}3%":K(Ȥy{nK0:-2 }v ds$qϜji'PQ;V52,m-9}Z/$1wA(r{@4`j( -8"!}lIe;;eZߴ?VvyUqG}|JW#٬|aok,ouEU1)1~4|VU L)f78T%zk0c@!>2LNb[!_ʥ:N>ou夬$Of ɸRNۉI9vt="MJY[nn+Q.Q._ ZxӸ} TVddi>5硯_^2bZLCUY!,:(څЫjmFza\ڨa[vA:B&s8cEƗ*G[.L%g җ_*&4 $̌fBՠ H&lj}$P~0 ɞCXlJw />S2m!'} `Qt6d@%,bzUڅI`CuA­-¦+@/h*2vƌ0`9c@;OW:.ۙօ-jU@zO>@Rb6K'5aocK3=O2xZ@4- 9D8<3 X% 6od IݘY RBmΗ5/)ipъnL/Vٷ=tc5X/FL|bp;?U< 6kzgYZ0bd8766cbb7b98b4416ab028868c98761b50a81dddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 60601329c3d6940d27340955ebaa24fca74dcfa6  CCS