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 NN/1 $ ]% Stream_Fusion_Code:threads=2elapsed=17.719cpu=31.348gc=1.520factor=1.777zXZִF! #{]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R)! u+ Sc@rzqh0$MڜJ$ զ>r>OF#*>DNe4I-';b6Y0腽3A:Z}Yy-h@rqbK"ЈQa Oy+I mt`F>\ ~*x:}GA,3IQ{``֝+ $)Old yinT8Ϋ 13S;$Sm_m)]Gd 4kv&#Gl$ fKI&qcnY>(n:(mhR3]u- Az+Sr[eΆ`7jXy"=2#W٠LQ_V*]U ;쩊&,sж\|HtW@Lh5KvF(!$ Hr9Jb$QOGעXp؀Lf 8}="ޱ5cVrqۣ)zv&YVv2ÑA:y'X4f|A4xB³ӛ`U&,oOmꥠE>DZKlC* wFP:kgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+zr\f"{ʥV?D2W'ɗ}EXDl>̩.=M"4+`VXZ0_C^40_6OgYZ7zXZִF! g ]ŗXi%>gϴ ϱk|[nΠX\zI|QK:#p*ӿO +>B:AgaU dqpV=1ȂWJ%,ApS۠MG`m  v QWE<8&܁b qס/v3n $:^J L,9p/,:ֈܐ}|_S|``VU*Fvn4g?XS8X/w_z.hS@KޕS/pPsݚ*OVtS=Ѻ*xHC69١BNIExy1dĞo>EPO7‡b? LlrRRM4V(e&,{!x?"*+Fcoq1.W^t?6_op]pe:K:dp3z[Ts5Ahx3=ߠ`5bH|0a g0* l_pF } -1'KgYZ9643c7ff1f8706da15712a62a8a341e32e8a535497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 845705c5b6646e3b00d48128f2e977e04ddb5f47 90feb36e1bf4bb62445e7fb70f972ce37b3a5833 1 Stream_Fusion_Code