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 ' L, ]]List-Infinite:threads=8elapsed=9.045cpu=44.782gc=1.978factor=4.957zXZִF! h]ŗXf[&!9s`|kK4CQ.Ia Y<]F#tڿf4OIM%Y֯Y(y>~a7K ~E:H}r ^RPMnpӞDIụ*.ǣ˶P_ )a{ez~A#b.ۋ9>gdUzkLT>92by<)m҅:{xH噲m7q@W;u!Z!kE-chhwnGJnůX6/-x}w1KDKl_d^ 2\D7yJ}K;&ja:8N qP|@_+nf;$%qұgYZ7zXZִF!  ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!t`&̧Vu%߂4 Y;MJfHt@=Rd2gYZ7zXZִF! K]ŗXi%>t{E+W7)d coWמLN[ bVSWul~;^vwyja8h;;\}ZJx7%|pjY=1f&x+?Bf\q6$N`Hk ̿]gO%K(0X=u( ʚ˹M,굻ȨY"Zu&|h%ͶĽ%Tk㟔j@3߰҈NV]H_2U.><&88Κ0O9.Ua. Hdm+x'pa0/7㮝 Yۥo\ȿ ]jdC^9.Sɻ,-}B+,_VA; #7&+['L`؝DG8x+Cg z e8q8n*a&u#JWJE mԖ=r_Q0a[ٸؖ3NaonS)2){4o-)IFr BFGJ#ϱ7mRpk+-n;o>jm8\#wLbd(~`nqt u"yT'_M6t^b}ᔜ5MqwuEL }XDN }˼P1 (bބA/@eEI8wYm! mEq[T;LU!A0kvܧ3'.7h?%F*TۘO_FG4ˁa7r k y`L܏4 YiaQ"`Bet`FLNˇ*FVa槅 u_ԗFWMcjK0*6LY5~ 3-s4dN:Rk1?Y5!;Xg{'Mz7 c~2~i}A Uß2˿2h_>:e=_6JбWW2 Qր v.yk$\hP%DǓ+`Vwō鼱̌@hd-©t dui껛K/|)[KdHh op!քb߰;OSYwY)}=꼡)3HDI \1P 1 ŗűgYZ14339a91e936af0c430618f38833aaac9aec98e9c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b481da5739217eee18c801a4e3d2b3fa8e6fd9461 ' List-Infinite