SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 f? t / Inductive_Confidentiality:threads=2elapsed=14.930cpu=28.048gc=1.396factor=1.88 ? Inductive_Confidentiality7zXZִF! u]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[Jr/ws9\n q>,5N"(' ڟY{{6pg ;j[cNa=NdE0ӤI3x'wsχu + îV,Q>E&VB 2BۛߙjE~1\ZC Uq1%_6_1A$<`]@s { 6.mK^u-<GGVݬm8=ۂD HT`d/ |aaiBieH/-wqIi!$?욒c>iXFvdZ=bwc~T9S/CrQ7w#IYn. C-*LȥS 9xs0ޭIb{V XZL+R7w+V̒kYS!p<tv9Y2̜ˠU]:vVPVBeYWC!F/7\oBҗmbVQFp𼂏Ismd&D^糀~wm pEJܴr2 T5^u,xbpciTR1 lI0$ s 93 T5d'lcy`RߙJ 1MB]I4vЮ+Gj<E"In݉!OʜSe&o({zK kII4ѧFd}eX0ї'1u"5OmK,θSdGg'ͅ"|^M@34Hb 8*.4Bި*47 y6)GpɄǒbuᅮQ H KD,>BKђJkiV))ܸaOZJ2"4!,S]$( U2A-M@Wy8XLdhQ~$Y_lRڃf5@* jTՑ$fc)N'X_P=Gc ,)yr۳4 $]kѻdc:9Ș7&9u$jhqt>m=P&ܸkp|xd&N pJ)ۭޭ/8Mf G>j_ZJ XҼe$,?Vrb.VxÄϖ#:g3R }]'ġTv(7z9rp:|e ||*5 Ez̍5x^K޽RC@A#M j[.GEiZ ܥ *X3M k\*E ߡ}f? c-{fq$?`Ы4F%/>Ё* !BI0PmR>Y&Akr v ȶX%zQ@vmвO`_ kɝy(;='(zk mIUX\ "f ".p3&DS=FG؇;"pa?Z4ʄ-M黊!h_gWu$iJrosMؼ3#7rhS?=zg{w)gW{mB1"ԩ1B3b>ḻHSXWvlZʁ5p!C&/fg12"T'Bl``KF^(RuoD@N3]mk"qSw2NLu1q/գ zDpPh ,e\#! O\:D7\UU0%~$Pp/3cE$ `ׄitsijT1F ؀/lLn>BgUM& M˝y7>0M4^#Z9]$D0l^}JƘIrb.Upp8a,NK6lyK woH#ZO Kc|KHد$),^P^ohiMNXj(~'"F5xIe9Aw$>oGSY%ͅه(tFeZ6 ˚T݈3A<` jjCE@3ũc:H3EpS(_oaXG ?@-ÖoFZXc$5nj#eW0p ֤HgYZ078181d96393420012c79e4a891cdc610d8515bd 0d607242806d85051a53d66abb45a1138f822168 1624178630a93c28a1bc7c3ab3a75667f446a9f0 274899bbd47cac6b8c3374606490c45ea071e203 2cb5421a455c9879ba067e1b7a1cf62ce2445790 33bad39081a73300bbe7690aec7847c6c00b07f5 4bb581085c25274be4bcecb71940b8bab1f8fe61 6d318939bb0df51b5dda26ef45ef4d5df3e6bfa4 75eb17d3f23d9954761d410f18390dc486e38208 8759f7fb1a4b1b76c5e52c1bc88c8d2bcf743689 971234caf5b095b4b6737f650cde44c0871439c9 eecea81df08bd4353c99babb9446474c1a127940 ef34e5bcc9dfa8fcf6bf010da23dc57faff1faa6 f0cdfb788bd0c7095853d9145579ae06d999b89107addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988